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