Theory of Computation - "Moret, Bernard M" (Pearson)
includes index and biblioraphy