International symposium on theoretical programming - Ershov, Andrei P. (Springer Verlag, 1974)