Textbook on automata theory - Srimani, P K (2008)