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), pp. 23–30. doi:10.46991/PYSUA.2002.36.3.023.