Aghasian MM. THE DENOTATIONAL SEMANTICS OF PROCEDURAL PROGRAMS (the solution to the problem of variables’ number minimization). Proc. YSU A: Phys. Math. Sci. [Internet]. 2002 Sep. 20 [cited 2026 Jan. 21];36(3 (199):23-30. Available from: https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol36_no3_2002_pp023-030