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 Mar. 10];36(3 (199):23-30. Available from: https://journals.ysu.am/proceedings-phys-math/article/view/vol36_no3_2002_pp023-030