Symposium on semantics of algorithmic languages - Engeler, E (Lecture Notes in Mathematics, 188, 1971)