1. D. A. Bayer, The Division Algorithm and the Hilbert Scheme, Ph. D. Thesis, Harvard Univ., Cambridge, Mass., 1982.
2. B. Buchberger, Ein Algorithmus zum Auffiden des Restklassenringes nach einem nulldimensionalen Polynomideale, Ph.D. Thesis, Univ. Innsbrück, Austria, 1965.
3. B. Buchberger, Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems, Aequationes Math. 4 (1970), 364–383.
4. B. Buchberger, A criterion for detecting unnecessary reductions in the construction of Gröbner bases, in “Proc. EUROSAM '79”, 3–21, Lect. Notes in Comp. Sci., vol. 72, 1979.
5. B. Buchberger, Gröbner bases: An algorithmic method in polynomial ideal theory, in “Recent Trends in Multidimensional System Theory” (N. K. Bose, Ed.), Reidel, Dordrecht, 1985.