по проведению конференции "Формальное описание концепций программирования". Версия 2-я, представлена на 27-е заседание ТК2. (Документ "Брюссель-5".)