The Essence of Computation : Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones - Torben Æ. Mogensen, David A. Schmidt, I. Hal Sudborough ((Lecture Notes in Computer Science))