Computer algebra symbolic and algebraic computation - Buchberger, Bruno; Collins, G. E. (George Edwin), 1928-; Loos, R (Rudiger), 1938- (Computing. Supplementum, 1983)