Introduction to Automata Theory Languages, and Computation ( Teknologi Informasi ) - Hopcroft, John E. (Pearson, 2007)