Fundamentals of the theory of computation : principles and practice - Greenlaw, Raymond (Morgan Kaufmann Pub., 1998)
Includes index.