Письмо, П. Р. Кинг->А.П. Ершов, 14.10.1984 Участники заседания РГ2.1 в Понт-а-Муссоне сохраняют пока статус-кво А.П. Ершова по отношению к РГ, но, ввиду долгого его неучастия в заседаниях Группы, для подтверждения членства желательно его присутствие на очередном заседании, которое состоится в апреле 1985 г. в Нидерландах.
Письмо, П. Р. Кинг->А.П. Ершов, 15.02.1984Автор сожалеет о неучастии А.П. Ершова в 32-м заседании РГ2.1 (о. Каталина), настойчиво советует принять участие, по крайней мере, в одном из следующих заседаний: 33-м (Понт-а-Муссон, неделей ранее Рабочей конференции в Кентербери по языкам системного программирования) и/или 34-м (Утрехт).
Письмо, 08.05.1984председателя РГ2.1 участникам предстоящего 33-го заседания РГ (Понт-а-Муссон), касающееся следующих вопросов: 1) итоги 32-го заседания (о. Каталина); 2) подготовка Конференции по спецификации и преобразованию программ; 3) информация для приезжающих на заседание; 4) подбор новых наблюдателей РГ; 5) содержание предстоящих дискуссий.
Письмо, П. Р. Кинг->А.П. Ершов, 19.07.1983Участники 31-го заседания РГ2.1, высоко оценивая роль А.П. Ершова в работе Группы, сожалеют, что он не мог присутствовать на последних ее заседаниях. Они были бы рады видеть его на одном из следующих заседаний: 32-м или 33-м.
Письмо, А.П. Ершов->П. Р. Кинг, 21.06.1984А.П. Ершов понимает недостаточность своей активности в РГ2.1, но ввиду происходящих изменений в структуре АН СССР в плане отношений с ИФИП просит сохранить в течение некоторого времени свое членство в Рабочей группе.
Приглашения, 06.07.1984(одно - краткое, одно - подробное) на 33-е заседание РГ2.1 в Понт-а-Муссон.
Статья, 31.07.1984"A Syntactic Frame for ABSTRACTO". /В состоянии готовности для данного заседания РГ./
Статья, 01.08.1984"The control skeleton of a behavioural specification language". /Предварительный вариант для участников заседания./
Письмо с приложениями, 26.09.1984Сопроводительное письмо к протоколам 33-го заседания РГ2.1 и к адресному списку членов и наблюдателей Группы, а также сами эти материалы.
По порядку | По алфавиту | По дате |