1. Gröbner Bases: A Computational Approach to Commutative Algebra;Becker,1993
2. Beth, T., Müller-Quade, J., Steinwandt, R., 2002. Computing restrictions of ideals in finitely generated k-algebras by means of Buchberger’s algorithm. In: Nakagawa, K. (Ed.) Proceedings of Symposium in Honor of Bruno Buchberger’s 60th Birthday; Logic, Mathematics and Computer Science: Interactions. LMCS 2002, pp. 39–47
3. The Magma algebra system I: The user language;Bosma;Journal of Symbolic Computation,1997
4. Buchberger, B., 1965. Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal (An algorithm for finding a basis for the residue class ring of a zero-dimensional polynomial ideal). Dissertation, Math. Inst., Universität Innsbruck, Austria
5. Buchberger, B., 1985., Gröbner bases: An algorithmic method in polynomial ideal theory. In: Multidimensional Systems Theory. D. Reidel, Dordrecht, pp. 184–232