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)

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

to the article "On formalization of the program concept"

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

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