Aghasian, M. M. (2002). 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(3 (199), 23-30. https://doi.org/10.46991/PYSUA.2002.36.3.023