"Алгоритмические языки и программирование" для "Истории отечественной математики". Вышла в Киеве в 1970 году, том 4, книга 2.

"Алгоритмические языки программирования" для журнала "Вестник АН СССР" (№ 3, 1968).

"О формализации понятия программы". Написана совместно с А.А. Ляпуновым. /Текст рукописный; 1-й черновик./

о поездке во Францию. /Текст рукописный./

"О формализации понятия программы"; написана совместно с А.А. Ляпуновым. /Текст машинописный./

к статье "О формализации понятия программы".

к статье "О формализации понятия программы". /Текст рукописный./