Introduction to Formal Languages Automata Theory and Computation - "Kamala Krithivasan, " (Pearson)
includes index and biblioraphy