"Algorithmic languages and programming" for "Vestnik AN SSSR", №3, 1968

"On formalization of the program concept" Jt.auth. A.A. Liapunov

for the article "On formalization of the program concept"

on the visit to France (handwritten)

"Algorithmic languages and programming" for "The History of Domestic Mathematics" Vol.4, Part 2(published in Kiev in 1970)

"On formalization of the program concept" Jt.auth. A.A. Liapunov (handwritten draft)

to the article "On formalization of the program concept"