Groups, languages and automata - Holt, Derek F.; Rees, Sarah; Röver, Claas E. (London Mathematical Society student texts, 2017)