Course in constructive algebra - Mines Ray; Richman Fred; Ruitenberg Wim (1988)