TY  - JOUR
AU  - I. A. Lomazova
TI  - On the problem of the existence of a complete axiomatic program semantics that does not admit side effects
JO  - Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki
PY  - 1987
SP  - 1585
EP  - 1589
VL  - 27
IS  - 10
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZVMMF_1987_27_10_a14/
LA  - ru
ID  - ZVMMF_1987_27_10_a14
ER  -