Nigiyan, S.A., and T.V. Khondkaryan. “ON CANONICAL NOTION OF $\delta$-REDUCTION AND ON TRANSLATION OF TYPED $\lambda$-TERMS INTO UNTYPED $\lambda$-TERMS”. Proceedings of the YSU A: Physical and Mathematical Sciences, vol. 51, no. 1 (242), Mar. 2017, pp. 46-52, doi:10.46991/PYSU:A/2017.51.1.046.