LECTURE NOTES INCOMPUTER SCIENCE V.408 - Goos, G; Hartmanis, J. (Springer-Verlag, 1990)