Introduction to Automata Theory, Languages and Computation - John E Hopcroft; Rajeev Motwani; Jeffrey D Ullman (Pearson Education Delhi, 2009)