с cимпозиума по теоретическому программированию в журнале "BIT" (No. 6, 1973) на японском языке: Я.М. Барздиня, Дж. Шварца, М. Патерсона, Дж. Денниса, Р. Миллера, Г.С. Цейтина, Дж. Морриса и др.

Рабочие записи, сделанные во время работы Школы по смешанным вычислениям.

по статьям С.С. Лаврова в МП (№ 3 за 1984 г. и № 3 за 1986 г.).

по статье Г.С. Цейтина "Сборочное программирование".

Г.С. Цейтина. /Текст рукописный, на английском языке./

"Критический анализ программного обеспечения ЕС ЭВМ и альтернативные пути развития".

"Итоги освоения ОС ЕС (заметки пользователя)". Автор после примерно десяти лет распространения машин ЕС с их операционными системами пытается разобраться в разноречивых оценках, раздающихся со стороны специалистов разного профиля и разных интересов.

для заявки на издание книги "Новые средства программирования для ЕС ЭВМ: Алгол 68, диалоговая система JEC, сервисные программы и процедуры".

О технологиях и ВПК

сделанные по ходу работы семинара, проводимого лабораторией А.С. Нариньяни, посвященного итогам и перспективам проекта "Диалог" (взаимодействие с ЭВМ на естественном языке).

к переводу "Пересмотренного сообщения об Алголе 68". /В двух экземплярах./

к заявлению А.А. Первозванского на заседании КС СПбСУ

с вопросами по докладу А.П. Ершова и Г.Д. Чинина.

Личная переписка.

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

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

Дополнение к выступлению.