Computer algebra : symbolic and algebraic computation / - Buchberger, Bruno.; Collins, G. E.; Loos, R. (Springer-Verlag, 1982)