Grobner Bases : A Computational Approach to Commutative Algebra - Besker, Thomas (Springer-Verlag, 1993)