%0 Journal Article
%A E. A. Kaz'mina
%T Probabilistic semantics of terminating programs
%J Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki
%D 1988
%P 429-438
%V 28
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZVMMF_1988_28_3_a10/
%G ru
%F ZVMMF_1988_28_3_a10