Introduction to automata theory, languages, and computation. - Hopcroft, John E. (Pearson Education Int. Inc., 2003)