Theoretical aspects of Sigma-programming. - Sergei S. Goncharov; Dmitri Ivanovich Sviridenko (Mathematical Methods of Specification and Synthesis of Software Systems, 1985)

Semantic Programming. - Sergei S. Goncharov; Yuri Leonidovich Ershov; Dmitri Ivanovich Sviridenko (IFIP Congress, 1986)

Semantic Foundations of Programming. - Yuri Leonidovich Ershov; Sergei S. Goncharov; Dmitri Ivanovich Sviridenko (FCT, 1987)

The Expressiveness of Looping Terms in the Semantic Programming. - Sergey Goncharov 002; Sergey Ospichev; Denis K. Ponomaryov; Dmitri Ivanovich Sviridenko (CoRR, 2019)

Task-driven approach to artificial intelligence. - E. E. Vityaev 001; Sergey S. Goncharov; Dmitri Ivanovich Sviridenko (Cogn. Syst. Res., 2023)