GHAZARYAN, G. ON TRANSFORMATIONS OF UNTYPED FUNCTIONAL PROGRAMS AND THEIR PROCEDURAL SEMANTICS. Proceedings of the YSU A: Physical and Mathematical Sciences, v. 45, n. 1 (224), p. 36–43, 16 Feb.2011.