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