Computer Algebra. Symbolic and algebraic computation - Buchberger, Bruno; Collins, George Edwin (Springer, 1983)