Lecture Notes in Compute - "Goos, G." (New york, 1986)