Aghasian, M. M. THE DENOTATIONAL SEMANTICS OF PROCEDURAL PROGRAMS (the Solution to the Problem of variables’ Number Minimization). Proc. YSU A: Phys. Math. Sci. 2002, 36 (3 (199), 23-30. https://doi.org/10.46991/PYSUA.2002.36.3.023.