D. Grigoryan, “ON INCOMPARABILITY OF INTERPRETATION ALGORITHMS OF TYPED FUNCTIONAL PROGRAMS WITH RESPECT TO UNDEFINED VALUE”, Proc. YSU A: Phys. Math. Sci., vol. 52, no. 2 (246), pp. 109–118, Aug. 2018.