Computer algebra : symbolic and algebraic computation - Buchberger, Bruno (Springer-Verlag, 1983)