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, v. 36, n. 3 (199), p. 23–30, 20 Sep.2002.