Introduction To Automatic Theory, Languages And Computation - Hopcroft, John E (Narosa Publishing House, 1994)