Introdution to automata theory languages and computation - Hopcroft J E et (New Delhi Pearson, 2001)