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