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