Ghazaryan, G.A. 2011. “ON TRANSFORMATIONS OF UNTYPED FUNCTIONAL PROGRAMS AND THEIR PROCEDURAL SEMANTICS”. Proceedings of the YSU A: Physical and Mathematical Sciences 45 (1 (224): 36-43. https://doi.org/10.46991/PYSUA.2011.45.1.036.