-A. Ershov/V. A. Nepomniaschy (Eds.): International Symposium on Theoretical Programming, Springer-Verlag 1974