A course in formal languages, automata and groups - Chiswell, Ian (Universitext, 2009)