1. B. Buchberger, An Algorithm for Finding a Basis for the Residue Class Ring of a Zero-dimensional Polynomial Ideal (in German), PhD Thesis, University of Innsbruck, Austria, 1965
2. D. Cox, J. Little, D. O'Shea, Ideals, Varieties and Algorithms, An Introduction to Computational Algebraic Geometry and Commutative Algebra, 2nd ed., Springer, New-York, 1995
3. T. Becker, V. Weispfenning, H. Kredel, Gröbner Bases, A Computational Approach to Commutative Algebra, Graduate Texts in Mathematics 141, Springer, New York, 1993
4. B. Mishra, Algorithmic Algebra, Springer, New York, 1993
5. An introduction to commutative and non-commutative Gröbner bases;Mora;Theor. Comp. Sci.,1994