S. Nigiyan and T. Khondkaryan, “ON CANONICAL NOTION OF $\delta$-REDUCTION AND ON TRANSLATION OF TYPED $\lambda$-TERMS INTO UNTYPED $\lambda$-TERMS”, Proc. YSU A: Phys. Math. Sci., vol. 51, no. 1 (242), pp. 46–52, Mar. 2017.