Ghazaryan, G. ON TRANSFORMATIONS OF UNTYPED FUNCTIONAL PROGRAMS AND THEIR PROCEDURAL SEMANTICS. Proc. YSU A: Phys. Math. Sci. 2011, 45, 36-43.