A textbook on automata theory - Srimani, Pradip K. (Cambridge University, 2008)