"Kamala Krithivasan, " Introduction to Formal Languages Automata Theory and Computation - \\200900ENGGPCX - Pearson 2009 New Delhi - 426p. includes index and biblioraphy