Introduction to automata theory, languages, and computation - Hopcroft, John E. 1939- (Pearson/Addison Wesley, 2007)