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