Introduction to automata theory,languages, and computation - Hopcroft John E.; Motwani Rajeev & Ullman Jeffrey D. (Pearson Education Asia, New Delhi, 2001)