Lecture Notes in Computer Science 2933 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen