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.
V2.28, 13 July 2023