An Introduction Automata Theory Formal Languages - Pandey Adesh.K (Delhi S K Kataria & sons, 2010)