Introduction to Automata - "Hopcroft, John E." (New Delhi, 2005)