Groups, languages, and automata - Holt, Derek F.; Rees, Sarah; Röver, Claas E. (Cambridge University Press, 2017)