Сопроводительное письмо к статье адресата "Научные основы доказательного программирования", направленной ему для утверждения к печати. Дата: 11.07.1984 Оригинальный язык документа: русский Авторы: автор не установлен Организации: Журнал "Вестник АН СССР" Адресаты: Андрей Петрович Ершов
