Simposium on Semantics of Algorithmic Languages - Engeler,E (Lecture notes in mathematics;188, 1971)