Introduction to automata - Hopcroft (Pune Satya p, 1988)