TY  - JOUR
AU  - N. N. Nepeivoda
AU  - D. I. Sviridenko
TI  - On the theory of program synthesis
JO  - Matematičeskie trudy
PY  - 1982
SP  - 159
EP  - 175
VL  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MT_1982_2_a6/
LA  - ru
ID  - MT_1982_2_a6
ER  -