An introduction to automata theory and formal languages - Adesh K. Pandey (S. K. Kataria & Sons, 2014)