International symposium on theoretical programming [Proceedings held on August 7-11, 1972] - Epominiaschy, Valery A.; Ershov, Andrei (Lecture notes in computer science, 1974)