1. An Introduction to Gröbner Bases;Adams,1994
2. Gröbner Bases;Becker,1993
3. New developments in the theory of Gröbner bases and applications to formal verification;Brickenstein;Spec. Issue J. Pure Appl. Algebra,2009
4. B. Buchberger, Gröbner bases: a short introduction for systems theorists, in: Computer Aided Systems Theory n++EUROCAST 2001, Lecture Notes in Computer Science, vol. 2178/2008, Springer, Berlin/Heidelberg, 2001, pp. 1–19.
5. Gröbner bases over Galois rings with an application to decoding alternant codes;Byrne;J. Symbolic Comput.,2001