Symposium on semantics of algorithmic languages - Engeler, Erwin (Springer, 1964)