Introduction to Languages and the Theory of Computation - "Martin, John C" (A&A Publishers)
includes index and biblioraphy