M. M. Aghasian, “THE DENOTATIONAL SEMANTICS OF PROCEDURAL PROGRAMS (the solution to the problem of variables’ number minimization)”, Proc. YSU A: Phys. Math. Sci., vol. 36, no. 3 (199), pp. 23–30, Sep. 2002, doi: 10.46991/PYSUA.2002.36.3.023.