The essence of computation : complexity, analysis, transformation - Mogensen, Torben E.; Schmidt, David A., 1953-; Sudborough, Hal (Lecture notes in computer science ;, 2002)