Introduction to automata theory, languages, and computation - Hopcroft, John E [et al] (Pearson Education Asia, New Delhi, 2001)