%0 Journal Article %A A. P. Ershov %T A theoretical principle of system programming %J Doklady Akademii Nauk %D 1977 %P 272-275 %V 233 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/item/DAN_1977_233_2_a2/ %G ru %F DAN_1977_233_2_a2