Aghasian, M. M. “THE DENOTATIONAL SEMANTICS OF PROCEDURAL PROGRAMS (the Solution to the Problem of variables’ Number Minimization)”. Proceedings of the YSU A: Physical and Mathematical Sciences 36, no. 3 (199) (September 20, 2002): 23–30. Accessed January 21, 2026. https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol36_no3_2002_pp023-030.