International symposium on theoretical programming - Ershov, Andrei; Nepomniaschy, Valery A. (rz1, 1974)