Introduction To Automata Theory, Languages And Computation - Hopcroft, John E; Motwani, Rajeev; Ullman, Jeffery D (New Delhi Pearson Education Asia, 2002)