Fundamentals of the theory of computation : - Greenlaw, Raymond (Morgan Kaufmann, 1998)