The essence of computation : complexity, analysis, transformation : essays dedicated to Neil D. Jones / - Jones, Neil D.; Mogensen, Torben Æ.,; Schmidt, David A.,; Sudborough, Hal. (Springer,, 2002)