Hopcroft, John E. Introduction to automata theory, languages, and computation Hopcroft, John E. - 3rd ed. - Pearson 2008 Dewey Class. No.: 511.35 / T08 HOP.M