Introduction to automata - Hopcroft (Pune Wiley E, 1988)