Goos, G. and Hartmanis, J. (editors)