Gröbner Bases : a computational approach to commutative algebra - Becker, Thomas (Graduate texts in mathematics / editores S. Axler, K.A. Ribet, 1993)