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