Lecture Notes in Computer Science 218 - Goos, G (Springer Verlag, 1986)