LECTURE NOTES IN COMPUTER SCIENCE - Goos, G.; Hartmanis, J. (Berlin Springer-Verlag, 1984)