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.