TY - JOUR AU - V. N. Lifshits AU - L. E. Sadovskii TI - Algebraic models of computing machines JO - Trudy Matematicheskogo Instituta imeni V.A. Steklova PY - 1972 SP - 87 EP - 135 VL - 27 IS - 3 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/RM_1972_27_3_a2/ LA - en ID - RM_1972_27_3_a2 ER -