Computer algebra symbolic and algebraic computation - Buchberger, B. Etc (Springer-Verlag, New York, 1983)