1. J. M. Aroca, H. Hironaka, J. L. Vincente, “The theory of Maximal Contact,” Memorias de Mathematica del Instituto “Jorge Juana,” 29, (1975).
2. B. Buchberger, “Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungsystems,” Aequationes Math, 4, pp. 374–383, (1970).
3. B. Buchberger, “A criterion for detecting unnecessary reductions in the construction of Gröbner bases,” Proc. EUROSAM 79 (Ed. W. Ng), Springer LNCS 72, pp. 3–21, (1979).
4. B. Buchberger, “Gröbner Bases: an algorithmic method in polynomial ideal theory,” Recent Trends in Multidimensional Systems Theory (Ed. N. K. Bose), Reidel, (1985).
5. H. Melenk, H. M. Möller, W. Neun, “On Gröbner Basis Computation on a Supercomputer Using Reduce,” FB Mathematik und Informatik der Fernuniversität Hagen, Preprint SC 88-2, (1988).