TY - JOUR AU - V. A. Zakharov TI - Automata models of programs JO - Doklady Akademii Nauk PY - 1989 SP - 24 EP - 27 VL - 309 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/DAN_1989_309_1_a3/ LA - ru ID - DAN_1989_309_1_a3 ER -