Theory of computation: formal languages and automata theory - Saradhi Varma, G.P (Scitech publications(India), 2005)