TY - JOUR AU - A. P. Ershov TI - A theoretical principle of system programming JO - Doklady Akademii Nauk PY - 1977 SP - 272 EP - 275 VL - 233 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/DAN_1977_233_2_a2/ LA - ru ID - DAN_1977_233_2_a2 ER -