Introduction to automata theory language and computation - Hopcroft, John E. Etc (Narosa Publishing House, 2007)