Письмо Информирует о своих переговорах с академиком А.А. Дородницыным по поводу организации Рабочей группы по теме "Методы конструирования и проверки программ". Высказывает уверенность в плодотворной работе А.О. Буды. Дата: 12.11.1975 Оригинальный язык документа: русский Авторы: Андрей Петрович Ершов Персоналии: Анатолий Алексеевич Дородницын, Анатолий Олегович Буда Адресаты: Любомир Илиев
