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