%0 Journal Article
%A V. A. Zakharov
%T Approximation of abstract semantics by formal models of programs
%J Diskretnaya Matematika
%D 1998
%P 119-141
%V 10
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DM_1998_10_4_a7/
%G ru
%F DM_1998_10_4_a7