Grigoryan, D.A. “ON INCOMPARABILITY OF INTERPRETATION ALGORITHMS OF TYPED FUNCTIONAL PROGRAMS WITH RESPECT TO UNDEFINED VALUE”. Proceedings of the YSU A: Physical and Mathematical Sciences, vol. 52, no. 2 (246), Aug. 2018, pp. 109-18, doi:10.46991/PYSU:A/2018.52.2.109.