1. Goncharov S. S. and Sviridenko D. I., “S-Programming,” Transl. II Ser., Amer. Math. Soc., no. 142, 101–121 (1989).
2. Goncharov S. S. and Sviridenko D. I., “S-Programming and their semantics,” Vychisl. Systemy, no. 120, 24–51 (1987).
3. Goncharov S. S. and Sviridenko D. I., “Theoretical aspects of S-programming,” Lect. Notes Comp. Sci., vol. 215, 169–179 (1986).
4. Ershov Yu. L., Goncharov S. S., and Sviridenko D. I., “Semantic programming,” in: Information Processing 86: Proc. IFIP 10th World Comput. Congress. Vol. 10, Elsevier Sci., Dublin, 1986, 1093–1100.
5. Goncharov S. S. and Sviridenko D. I., “Mathematical bases of semantic programming,” Soviet Math. Dokl., vol. 31, no. 6, 608–610 (1986).