Grobner bases : a computational approach to commutative algebra - Becker, Thomas; Weispfenning, Volker (N.Y. Springer-Verlag, 1993)
Keywords: Group theory