International Symposium on Theoretical Programming : [Proceedings held on August 7-11, 1972] - Ershov, A. P. (Lecture notes in computer science, 1974)