%0 Journal Article
%A I. A. Lomazova
%T On the problem of the existence of a complete axiomatic program semantics that does not admit side effects
%J Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki
%D 1987
%P 1585-1589
%V 27
%N 10
%U http://geodesic.mathdoc.fr/item/ZVMMF_1987_27_10_a14/
%G ru
%F ZVMMF_1987_27_10_a14