Computer algebra symbolic and algebraic computation - Buchberger, B.; Collins, G. E.; Loos, R.; Albrecht, R. (Computing Supplementum (Springer) / Buchberger B., Collins G., Loos R. ;, 1982)