1. B. Buchberger, 1965
2. An algorithmical criterion for the solvability of algebraic systems of equations;Buchberger;Aequationes Math.,1970
3. Gröbner Bases: An Algorithmic Method in Polynomial Ideal Theory;Buchberger,1985
4. B. Buchberger, H. M. Möller, Proceedings of the European Computer Algebra Conference (EUROCAM’82) (Marseille, France), Calmet, J. 1982, Springer, 24, 31
5. CoCoA, A System for Doing Computations in Commutative Algebra;Capani,1998