Computer algebra symbolic and algebraic computation - Collins, G. E. 1928-2017; Loos, R.; Buchberger, Bruno, 1942- (Springer-Verlag, 1983)