Computer algebra : symbolic and algebraic computation - Buchberger, Bruno; Collins, George Edwin; Loos, Ruediger (Springer-Verlag, 1983)