T. Khondkaryan, “ON TYPED AND UNTYPED LAMBDA-TERMS”, Proc. YSU A: Phys. Math. Sci., vol. 49, no. 2 (237), pp. 45–52, Jun. 2015, doi: 10.46991/PYSUA.2015.49.2.045.