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