"Using Symbolic Execution to Characterize Behavior". Авторы - D.Cohen. W.Swartout? R.Balzer.

Работа с источниками. Конспекты статей различных ученых. Анализ выступлений на семинаре на Капри.

Предлагается нескольких вариантов для организации поездки в Новосибирск.

профессора Р. Балзера.

части города с объяснением, как добраться из отеля до дома супругов Балзеров, которые, видимо, пригласили Андрея Петровича в гости.

с просьбой прислать фильм и слайды, нужные для работы; посылает биографию, библиографию и послужной список.

Сообщает, что все еще нет подтверждения на увеличение продолжительности поездки; перечисляет поступившие приглашения, в том числе уже принятые; предлагает программу на месячный период (что более вероятно) и шестинедельный. /Текст рукописный, черновой./

Благодарит за любезное приглашение, которое с благодарностью хотел бы принять. Но у принимающей стороны есть сильное желание, чтобы он большую часть времени провел в Нью-Йорке. Надеется, что визит все-таки будет продлен до шести недель, и тогда появится больше возможностей. Окончательные планы будут согласованы позже.

касающееся важных моментов визита в США А.П. Ершова и И.В. Поттосина. /Текст рукописный./

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

Р. Балзера на доклад Анны Адам, П. Глосса, Ж.-П. Лорана (развернутая).

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

с просьбой оформить въездные визы в Новосибирск американским специалистам и членам их семей.

о планируемых публикациях по теоретическому и системному программированию; поздравления по случаю нового назначения.

Благодарит за приглашение. По требованию принимающей стороны должен будет провести большую часть времени в Нью-йоркском университете. Когда планы окончательно утвердятся - сообщит.

В ответ на письмо от 22.09.76 - читал после возвращения из Великобритании; благодарит за присланные статьи; приглашение кого-либо из ГДР - компетенция председателя программного комитета.

Автор посылает адресату фильм, слайды и статью по системе отладки. Просит сообщить свое мнение.

Автор с удовольствием вспоминает визит адресата и посылает ему обещанные статьи.

Сообщает, что намерен посетить Рабочую конференцию ИФИП в Польше. Прочел приветственную речь адресата на банкете по поводу Весенней объединенной вычислительной конференции и был восхищен. Надеется увидеться в будущем.

Автор объясняет свое долгое молчание тем, что находился в поездке по Европе; надеется на встречу на Конгрессе ИФИП. /Текст рукописный./