International symposium on theoretical programming - Ershov, Andrei P.; Nepomniaschy, Valery A. (Lecture Notes in Computer Science, 1974)