Письмо

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