Lecture Notes in computer science - Goos, Gerhard; Hartmanis, J. (Springer, 1977)