%0 Journal Article
%A N. N. Nepeivoda
%T Semantics of algorithmic languages
%J Itogi nauki i tehniki. Seriâ, Teoriâ veroâtnostej. Matematičeskaâ statistika. Teoretičeskaâ kibernetika
%D 1983
%P 95-166
%V 20
%I mathdoc
%U http://geodesic.mathdoc.fr/item/INTV_1983_20_a2/
%G ru
%F INTV_1983_20_a2