Сопроводительное письмо к материалам по рабочей конференции "Формальное описание концепций программирования" (Гл. Авернес, Дания) и некоторые из этих материалов: 1) приглашение на конференцию; 2,3) бланки регистрации; 4) информация о непосредственно следующем за конференцией заседании РГ2.2 в том же Гл. Авернесе.

Письмо членам ТК2 с приглашением на заседание РГ2.2 (Гл. Авернес, Дания, 29-30.08.1986) непосредственно после Рабочей конференции по формальному описеннию концепций программирования. К письму приложены список приглашаемых наблюдателей, информация о целях и области деятельности Рабочей группы, а также бланк заявки на участие.

Отчет о деятельности РГ2.2 в конце августа 1986 г. Приложены данные о предлагаемых новых членах РГ и протоколы административной и технической сессий заседания РГ (Дания, 27-30.08.1986). (Док. "Сен-Пьер-15".)