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