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