Introduction To Automata Theory, Languages And Computation - Hopcroft, John E; Motwani, Rajiv; Ullman, Jeffrey D (New Delhi Pea, Singapore, 2002)