TY - BOOK AU - Ershov,A.P. AU - Nepomniashchii,Valerii Aleksandrovich ED - International Symposium on Theoretical Programming TI - International Symposium on Theoretical Programming: Proceedings held on August 7-11, 1972 SN - 0387067205 (pbk.) U1 - 001.6 PY - 1974/// CY - Berlin PB - Springer Verlag KW - Computer programming KW - Congresses KW - Programming languages (Electronic computers) ER -