TY - BOOK AU - Ershov Andrei ED - International Symposium on Theoretical programming( 1974 ) ED - International Symposium on Theoretical programming TI - Theoretical programming : proceedings U1 - 5.1 PY - 1974/// CY - Berlin PB - Springer Verlag KW - Computer programming KW - Theoretical programming ER -