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) (Sep. 2002), 23–30. DOI:https://doi.org/10.46991/PYSUA.2002.36.3.023.