1. Adams, W.W., Loustaunau, P.: An Introduction to Gröbner Bases, Graduate Studies in Mathematics, vol. 3. AMS, Providence (1994)
2. Aschenbrenner, M., Leykin, A.: Degree bounds for Gröbner bases in algebras of solvable type. J. Pure Appl. Algebra 213, 1578–1605 (2009).
https://doi.org/10.1016/j.jpaa.2008.11.022
3. Buchberger, B.: Ein Algorithmus zum Auffinden der Basiselemente des Restklassenrings nach einem nulldimensionalen Polynomideal. Ph.D. thesis, Mathematisches Institut, Universität Innsbruck, Austria (1965). English translation in J. Symb. Comput. 41(3–4), 475–511 (2006)
4. Dubé, T.W.: The structure of polynomial ideals and Gröbner bases. SIAM J. Comput. 19(4), 750–773 (1990).
https://doi.org/10.1137/0219053
5. Haftmann, F.: Code Generation from Isabelle/HOL Theories.
http://isabelle.in.tum.de/dist/Isabelle2018/doc/codegen.pdf
. Part of the Isabelle documentation