с сообщением, что иностранцу невозможно купить билет на международный рейс за рубли; предлагает использовать свои неиспользованные средства, если таковые останутся за время пребывания в Англии.

с просьбой телеграфировать статус запроса на визу.

с вопросом по составу базисных операторов.

"Дейкстра Эдсгер Вейбе (биобиблиографический материал)". /Текст рукописный./

об истории Рабочей группы 2.3 за 1969-1976 гг. с приложением выдержек из документов.

Письменное подтверждение разрешения на публикацию перевода на русский язык работы Э. Дейкстры и В. Фейена "Ein methode van progpammeren"("Введение в программирование"), выполненного В.К. Сабельфельдом.

"Lecture Notes on the structure of programs and proofs".

по Алголу 68. Проект и окончательный текст.

к документу, разработанному одним американским комитетом по делам стандатизации и касающемуся нерешенных вопросов АЛГОЛа 60. Документ предполагается представить в АЛГОЛ-бюллетень. /На письме - надпись рукой А.П. Ершова./

официального оппонента на диссертацию В.Л. Темова "Язык программирования ИНФ и определяющая его семантику машина", представленную на соискание ученой степени кандидата физико-математических наук.

"Дейкстра Эдсгер Вейбе (биобиблиографический материал)". /Текст машинописный./

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

присутствовавших на семинаре в Новосибирске.

Телеграмма получена, встретит в четверг.

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

с вопросом о дальнейшей судьбе Фортрана.

Сообщает, что к 50-летию адресата выпущена брошюра; приглашает принять участие в конференции по математическим основам вычислительной науки, которая состоится в Чехословакии; делится семейными новостями.

Просьба перевести на хороший английский язык брошюру, выпущенную к 50-летию Эдсгера Дейкстры.

о "Выдающихся членах" Британского вычислительного общества (звание "Выдающийся член" - высшая степень профессионального признания в области вычислительного дела в Англии) и о Британском вычислительном обществе.

с вопросом о планах выступления в МГУ.