Hrachyan, G.G. 2021. The Basic Semantics of Untyped Functional Programs and Reduction Strategies. Mathematical Problems of Computer Science. 32, (Dec. 2021), 5–13.