%0 Journal Article
%A S. A. Abramov
%T Analysis of programs and binary relations
%J Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki
%D 1983
%P 440-452
%V 23
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZVMMF_1983_23_2_a19/
%G ru
%F ZVMMF_1983_23_2_a19