D. Grigoryan, “ON THE UNIQUENESS OF $ \beta\delta $-NORMAL FORM OF TYPED $ \lambda $-TERMS FOR THE CANONICAL NOTION OF $ \delta $-REDUCTION”, Proc. YSU A: Phys. Math. Sci., vol. 53, no. 1 (248), pp. 37–46, Apr. 2019.