"An informal introduction to specifications using Clear". Авторы - R.M.Burstall, J.A.Goguen.

Ответ на письмо от 15 сентября задержан из-за переезда автора из Манчестера в Эссекс. Сообщает результаты переговоров с потенциальными авторами, интересуется решением по поводу статьи Кулуриса, называет кандидатов в редакторы от Западной Европы.

к книге; просьба подтвердить получение.

Автор посылает свои работы, сожалеет, что не смог приехать на конференцию. Возмущается, что такому великому ученому, как З. Манна, не дали визу, предположительно из-за его поездки в Израиль.

Благодарит за письмо и статью. Посылает несколько своих последних публикаций. Сожалеет, что не удалось обеспечить участие З. Манны в конференции. Надеется, что это была скорее техническая ошибка, чем результат политики или личного решения.

Автор приглашает всех адресатов, участников конференции по надежному софтверу в Лос-Анджелесе, принять участие в деятельности, которую он пытается организовать после конференции. Излагает основные идеи и уточняет сроки сбора.

о компенсации дорожных расходов для участников конференции. Приложен дорожный ваучер.

Просит заполнить и прислать приложенную форму для возмещения дорожных расходов на конференцию по надежности софтвера.

Первый кандидат на приезд - доктор Р.М. Берсталл; настолько долго, как сможет; в любое время; но июль-август менее предпочтительны.

Благодарит за выбор визитера, но боится, что в этом году организовать визит не удастся. Просит прислать более полную информацию, чтобы использовать ее для принятия решений по обмену учеными.

Сожалеет, что должен отклонить приглашение адресата, так как весь 1977 год уже расписан различными мероприятиями. Рассказывает о правилах обмена визитерами, принятыми в Британии, и надеется на дальнейшее сотрудничество.

В связи с выдвижением д-ра Р. Берсталла на звание профессора, автор обращается к адресату с просьбой оценить последние работы номинанта.

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

Автор характеризует д-ра Р.М. Берсталла как одного из десяти наиболее продуктивно работающих в области программирования ученых Великобритании.

Автор благодарит адресата за высказанное мнение о докторе Берсталле; оно поможет конкурсной комиссии во время принятия решения.

вложенная в литературу, отправленную в адрес А.П. Ершова .

Благодарит за информацию о симпозиуме; изъявляет желание участвовать в его работе.

Сообщает, что он приедет на симпозиум в Ургенч, если найдет финансовую поддержку.

Сообщает, что принять участие в симпозиуме, к сожалению, не сможет.