1. Buchberger, B., 1965. Ein Algorithmus zum Auffinden der Basiselemente des Restklassenrings nach einem nulldimensionalen Polynomideal (An algorithm for finding the basis elements of the residue class ring of a zero-dimensional polynomial ideal). Doctoral Thesis, Mathematical Institute, University of Innsbruck, December 1995
2. Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems;Buchberger;Aequationes Math.,1970
3. A theoretical basis for the reduction of polynomials to canonical forms;Buchberger;SIGSAM Bull. (ACM Special Interest Group on Symbolic and Algebraic Manipulation),1976
4. Gröbner bases and applications,1998
5. Towards the automated synthesis of a Gröbner basis algorithm;Buchberger;RACSAM (Rev. Spanish R. Acad. Sci.),2004