TY  - JOUR
AU  - M. M. Aghasian
TI  - The denotational semantics of procedural programs (the solution to the problem of variables' number minimization)
JO  - Proceedings of the Yerevan State University. Physical and mathematical sciences
PY  - 2002
SP  - 23
EP  - 30
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/UZERU_2002_3_a4/
LA  - hy
ID  - UZERU_2002_3_a4
ER  -