Grobner bases a computational approach to commutative algebra - Becker, Thomas (Graduate texts in mathematics, 1993)