Theory of computer science: automata, languages and computation - K.L.P.Mishra (Prentice Hall, 2001)