A course in constructive algebra - Mines, Ray (new york Springer, 1988)