Grobner bases : a computational approach to commutative algebra - Becker, Thomas (Springer-Verlag, 1993)