Budaghyan, L. E. “ON FORMALIZATION  OF  NOTION  OF  $\delta$-REDUCTION  IN MONOTONIC  MODELS  OF  TYPED  $\lambda$-CALCULUS”. Proceedings of the YSU A: Physical and Mathematical Sciences, vol. 37, no. 1 (200), Mar. 2003, pp. 27-36, https://doi.org/10.46991/PYSUA.2003.37.1.027.