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