1. J. W. Backus, “The syntax and semantics of the proposed international
algebraic language of the Zurich ACM–GAMM conference,” Proc.
Internat. Conf. Inform. Process., 125 (UNESCO, Paris, 1960).
2. Yu. L. Ershov, Definability and
Computability (Nauchnaya Kniga, Novosibisrk, 1996) [Definability and Computability (Consultants Bureau, New York,
1996)].
3. Yu. L. Ershov, S. S. Goncharov, and D. I. Sviridenko, “Semantic
programming,” Inform. Process. Proc. IFIP
$$10
$$th World Computer
Congress, 1113 (North Holland, Amsterdam, 1986).
4. S. S. Goncharov, “Conditional terms in semantic programming,” Sib.
Mathem. Zh. 58, 1026 (2017) [Siberian Math. J.
58, 794 (2017)].
5. S. Goncharov and A. Nechesov, “Polynomial analogue of Gandy’s fixed point
theorem,” MDPI Math. 9, Art. 2102 (2021).