Статья (рукопись) "О решении задач на ЭВМ и доказательстве правильности программ". Опубликована в сб. "Проблемы прикладной математики и механики". - М.: "Наука", 1971 Дата: 01.01.1971(?) Оригинальный язык документа: русский Авторы: Святослав Сергеевич Лавров
