TY  - JOUR
AU  - V. A. Zakharov
TI  - Approximation of abstract semantics by formal models of programs
JO  - Diskretnaya Matematika
PY  - 1998
SP  - 119
EP  - 141
VL  - 10
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DM_1998_10_4_a7/
LA  - ru
ID  - DM_1998_10_4_a7
ER  -