%0 Journal Article %A V. A. Zakharov %T Automata models of programs %J Doklady Akademii Nauk %D 1989 %P 24-27 %V 309 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/item/DAN_1989_309_1_a3/ %G ru %F DAN_1989_309_1_a3