Computer Algebra - Symbolic and Algebraic Computation (1983)

by B Buchberger, G E Collins, R Loos