Introduction to Automata - HOPCROFT (JOHN G.) ULLMAN (JEFFERY) (New Delhi PEARSON)