%0 Journal Article %A V. N. Lifshits %A L. E. Sadovskii %T Algebraic models of computing machines %J Trudy Matematicheskogo Instituta imeni V.A. Steklova %D 1972 %P 87-135 %V 27 %N 3 %I mathdoc %U http://geodesic.mathdoc.fr/item/RM_1972_27_3_a2/ %G en %F RM_1972_27_3_a2