Bibliography

Hol97

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

HRR17

Derek F. Holt, Sarah Rees, and Claas E. Röver.
Groups, languages and automata, volume 88 of London Mathematical Society Student Texts.
Cambridge University Press, Cambridge, 2017.