Hopcroft, John E. Introduction to Automata Theory, Formal Languages and Computation - Second - Pearson 2004 ISBN: 0201441241