Ghazaryan, G.A. “ON TRANSFORMATIONS OF UNTYPED FUNCTIONAL PROGRAMS AND THEIR PROCEDURAL SEMANTICS”. Proceedings of the YSU A: Physical and Mathematical Sciences 45, no. 1 (224) (February 16, 2011): 36–43. Accessed September 19, 2024. https://pub.ysu.am/index.php/proceedings-phys-math/article/view/vol45_no1_2011_pp036-043.