%0 Journal Article
%A N. N. Nepeivoda
%A D. I. Sviridenko
%T On the theory of program synthesis
%J Matematičeskie trudy
%D 1982
%P 159-175
%V 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MT_1982_2_a6/
%G ru
%F MT_1982_2_a6