Fundamentals of the theory of computaton principles and practice - Greenlaw,Raymonds (SanFrancisco Morgan kaufmann, 1998)