Introduction to automata theory, languages, and computation - Hopcroft, John E . (Narosa publishing house, 1979)