A Course in Formal Languages, Automata and Groups - Chiswell, Ian M.; Axler, Sheldon; Capasso, Vincenzo; Casacuberta, Carles; Macintyre, Angus J.; Ribet, Kenneth; Sabbah, Claude; Suli, Endre (Springer London, 2009)