1. Goncharov S. S., “Conditional terms in semantic programming,” Sib. Math. J., vol. 58, No. 5, 794–800 (2017).
2. Goncharov S. S. and Sviridenko D. I., “Σ-Programming,” Trans. Amer. Math. Soc., no. 142, 101–121 (1989).
3. Goncharov S. S. and Sviridenko D. I., “Σ-Programming and their semantics,” Vychisl. Systemy, no. 120, 24–51 (1987).
4. Goncharov S. S. and Sviridenko D. I., “Theoretical aspects of Σ-programming,” Lect. Notes Comput. Sci., vol. 215, 169–179 (1986).
5. Ershov Yu. L., Goncharov S. S., and Sviridenko D. I., “Semantic programming,” in: Information Processing 86. Proc. IFIP 10th World Comput. Congress, Dublin, 1986, vol. 31, 1113–1120.