Письмо

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