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, https://doi.org/10.46991/PYSUA.2008.42.3.059.