A course in constructive algebra - Mines, Ray 1938-2013; Richman, Fred 1938-; Ruitenburg, Wim 1955-; Ruitenburg, Wim 1955- (Universitext, 1988)