"Shukla, Rajesh. K." Formal Languages and Automata Theory - - Cambridge University Press Dewey Class. No.: 004