Bibliography

Hol97

Derek Holt.
KBMAG -- Knuth-Bendix in Monoids and Automatic Groups.
University of Warwick, 1997.

Sim94

Charles C. Sims.
Computation with Finitely Presented Groups.
Cambridge University Press, Cambridge, 1994.