Gröbner bases : a computational approach to commutative algebra / - Becker, Thomas. (Springer-Verlag, 1993)