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