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, v. 37, n. 1 (200), p. 27–36, 10 Mar.2003.