A course in constructive algebra - Mines, Ray (Universitext, 1988)