Symposium on Semantics of Algorithmic Languages - Engeler, E. (New York Springer-Verlag, 1971)