1. B. Buchberger, An algorithm for finding a basis for the residue class ring of a zero dimensional polynomial ideal, PhD thesis, Universität Innsbruck, Institut für Mathematik, 1965
2. A theoretical basis for the reduction of polynomial to canonical forms;Buchberger;ACM SIGSAM Bull.,1976
3. Gröbner bases: An algorithmic method in polynomial ideal theory;Buchberger,1985
4. An Introduction to Gröbner Bases;Adams,1994
5. Gröbner Bases—A Computational Approach to Commutative Algebra;Becker,1993