Ghazaryan, G. ON TRANSFORMATIONS OF UNTYPED FUNCTIONAL PROGRAMS AND THEIR PROCEDURAL SEMANTICS. Proc. YSU A: Phys. Math. Sci. 2011, 45 (1 (224), 36-43. https://doi.org/10.46991/PYSUA.2011.45.1.036.