Computer Algebra Symbolic and Algebraic Computation - Buchberger, B. ; Collins, G. E. ; Loos, R.