Introduction to Automata theory, Languages, and Computation - Hopcroft, John E. (Singapore Pearson Education, 2004)
Includes Index