Говорит, что устал уже ждать ответ от Национальной Академии наук о включении своего визита в СССР в программу обмена, но всё еще не теряет надежды. Рассказывает о научных результатах Манны в математической теории вычислений, спрашивает о работе над АИСТом-0. Надеется на скорую встречу. /Текст рукописный./

Говорит, что с нетерпением ждет приезда адресата. Рассказывает о большом впечатлении, которое произвели на него результаты З. Манны. Упоминает об интересных отечественных результатах по теории схем Янова. Автор был бы рад иметь подписку на журнал "National Geographic". Высказывает свое отношение к музыке "Pepper"-ов.

В ответ на письмо от 07.09.1971 - приглашение на симпозиум по теоретическому программированию, который планируется провести летом 1972 г.; благодарность за книги; обещание прислать материалы по системе БЕТА.

Президиума СО АН СССР "О проведении Симпозиума по теории программирования" (7-11 августа 1972 г., Новосибирский Академгородок) и Приложения № 1 (Программа), № 2 (список ученых из соц. стран) и № 3 (список ученых из кап. стран) к нему.

Информационное письмо о симпозиуме по теоретическому программированию (07-11.08.1972) - расписание работы; проблемы для обсуждений; о публикации Трудов; о финансовых условиях участия; список приглашаемых иностранных ученых.

К сожалению, принять участие в симпозиуме не сможет, не дают визу. Благодарит адресата за попытки помочь ее получить.

о встрече в Шереметьево и о действиях по поводу З. Манны.

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

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

Посылает исправленную версию статьи и просит, если еще не поздно, заменить ею ту, что представлена для публикации в Шпрингер-Ферлаг.

Сообщает свое мнение относительно публикации рукописи З. Манны и адресата. Возникшие во время чтения комментарии автор письма уже сообщил непосредственно авторам, встретившись с ними на конференции.

Благодарит за возвращенную статью и просит прислать второй экземпляр рецензии, которую видел Манна, так как первый потерялся.

Говорит, что последнее письмо от 26 сентября его несколько удивило, так как мнение о возможности публикации статьи З. Манны и А. Пнуэли уже было высказано в предыдущем письме.

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

"Logical Analysis of Programs".

Благодарность за письмо и программу курса; обсуждение курса "Математическая логика и теория множеств"; просьба посоветовать литературу по исчислению программ

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

Автор делится своими впечатлениями от работы адресата, которую он реферировал для журнала "Acta Informatica". Просит помочь достать книгу адресата, упомянутую в библиографии.

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