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