A Course in Formal Languages, Automata and Groups - Chiswell, Ian M. (Springer London, 2009)