"Greenlaw, Raymond" Fundamentals of the Theory of Computation: Principles and Practice - \\200800ENGGPCX - Morgan Kaufmann Publishers 2008 Madras - 336p. includes index and biblioraphy