Hopcroft

Introduction to Automata Theory Languages and Computation - Canada Prentice Hall 2002 - 469