Budaghyan, L. E. ON FORMALIZATION  OF  NOTION  OF  $\delta$-REDUCTION  IN MONOTONIC  MODELS  OF  TYPED  $\lambda$-CALCULUS. Proc. YSU A: Phys. Math. Sci. 2003, 37 (1 (200), 27-36. https://doi.org/10.46991/PYSUA.2003.37.1.027.