Galoyan, T.M. 2021. Analysis of Bounds for Lengths of Reductions in Typed λ-calculus. Mathematical Problems of Computer Science. 29, (Dec. 2021), 5–15.