Introduction to Automata theory,languages and computation - Hopcroft John E. (New Delhi Pearson, 2013)