1. Ein Algorithmus zum Auflinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal;Buchberger,1965
2. Ein algorithmisehes Kriterimn fuer die Loesbarkeit eines algebraischen Gleichungssystems;Buehberger;Aequ. Math.,1970
3. Groebner Bases: An Algorithmic Method in Polynomial Ideal Theory;Buchberger,1985
4. An application of the Runge Kutta space;Butcher;BIT Computer Sciem'e Numerical Mcuhematies,1984
5. SAC-2--Symbolie and Algebraic Computation version 2, a computer algebra system, ALDES--ALgorithm DEScription language;Collins;ACM SIGSAM Bulletin,1980