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