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 July 22, 2024. https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol45_no1_2011_pp036-043.