AGHASIAN, M. M. THE DENOTATIONAL SEMANTICS OF PROCEDURAL PROGRAMS (the solution to the problem of variables’ number minimization). Proceedings of the YSU A: Physical and Mathematical Sciences, Yerevan, Armenia, v. 36, n. 3 (199), p. 23–30, 2002. DOI: 10.46991/PYSUA.2002.36.3.023. Disponível em: https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol36_no3_2002_pp023-030. Acesso em: 21 jan. 2026.