TY - BOOK AU - Ershov, Andrei AU - Nepomniaschy, A, ED - Corresponding member of Soviet Academy of Sciences ED - International Symposium on Theoretical Programming TI - International symposium on theoretical programming: proceedings SN - 3540067205 U1 - 651.26 PY - 1974/// CY - Berlin PB - Springer Verlag KW - Programming (Electronic computers) - Congresses KW - Programming languages (Electronic computers) - Congresses ER -