Hakopian, R. Yu. “ON PROCEDURAL SEMANTICS OF STRONG TYPED FUNCTIONAL PROGRAMS”. Proceedings of the YSU A: Physical and Mathematical Sciences 42, no. 3 (217) (October 6, 2023): 59–69. Accessed July 22, 2024. https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol42_no3_2008_p059-069.