R. Y. Hakopian, “ON PROCEDURAL SEMANTICS OF STRONG TYPED FUNCTIONAL PROGRAMS”, Proc. YSU A: Phys. Math. Sci., vol. 42, no. 3 (217), pp. 59–69, Oct. 2023.