G. G. . Hrachyan, “The Basic Semantics of Untyped Functional Programs and Reduction Strategies”, MPCS, vol. 32, pp. 5–13, Dec. 2021.