@article{UZERU_2002_3_a4, author = {M. M. Aghasian}, title = {The denotational semantics of procedural programs (the solution to the problem of variables' number minimization)}, journal = {Proceedings of the Yerevan State University. Physical and mathematical sciences}, pages = {23--30}, publisher = {mathdoc}, number = {3}, year = {2002}, language = {hy}, url = {http://geodesic.mathdoc.fr/item/UZERU_2002_3_a4/} }