Hopcroft, John E. Introduction to Automata Theory, Formal Languages and Computation - Narosa Pub. 2002 ISBN: 8185015961