Hrachyan, G. G. . The Basic Semantics of Untyped Functional Programs and Reduction Strategies. MPCS 2021, 32, 5-13.