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