Hakopian, R. Yu. 2023. “ON PROCEDURAL SEMANTICS OF STRONG TYPED FUNCTIONAL PROGRAMS”. Proceedings of the YSU A: Physical and Mathematical Sciences 42 (3 (217). Yerevan, Armenia:59-69. https://doi.org/10.46991/PYSU:A/2008.42.3.059.