1. Bruno Buchberger, Ein Aalgorithmus zum Aauffinden der Basiselemente des Restklassenrings nach einem nulldimensionalen Polynomideal, PhD thesis, University of Innsbruck, Austria, 1965.
2. Non-commutative elimination in Ore algebras proves multivariate identities;Chyzak;J. Symbolic Comput.,1998
3. Efficient computation of zero-dimensional Gröbner bases by change of ordering;Faugère;J. Symbolic Comput.,1993
4. Representation Theory: A first course;Fulton,1991