S. Nigiyan and T. Khondkaryan, “ON TRANSLATION OF TYPED FUNCTIONAL PROGRAMS INTO UNTYPED FUNCTIONAL PROGRAMS”, Proc. YSU A: Phys. Math. Sci., vol. 51, no. 2 (243), pp. 177–186, Jun. 2017.