G. Ghazaryan, “ON TRANSFORMATIONS OF UNTYPED FUNCTIONAL PROGRAMS AND THEIR PROCEDURAL SEMANTICS”, Proc. YSU A: Phys. Math. Sci., vol. 45, no. 1 (224), pp. 36–43, Feb. 2011.