TY  - JOUR
AU  - S. A. Abramov
TI  - Analysis of programs and binary relations
JO  - Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki
PY  - 1983
SP  - 440
EP  - 452
VL  - 23
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZVMMF_1983_23_2_a19/
LA  - ru
ID  - ZVMMF_1983_23_2_a19
ER  -