[Hopcroft79] J. Hopcroft and J. Ulman Introduction to Automata Theory, Languages, and Computation, 1979, Addison-Wesley. []