Grobner Bases : A computational approach to commutative algebra - Becker, Thomas (New york springer, 1993)