Computer algebra symbolic and algebraic computation - Buchberger, Bruno 1942- (Springer, 1982)