Fundamentals Of The Theory Of Computation Principles And Practice - Greenlaw R.; Greenlaw R. & Hoover H.J. (Morgan Kaufmann, 1998)