книги "Введение в теоретическое программирование (Беседы о методе)", сделанная для ВААП.

Содержательный анализ задачи.

Постановка задачи и общая теория.

Алгоритмизация.

Реализация.

Заключительный анализ.

Часть вторая. Преобразования схем Янова.

Определение схем Янова.

Исчисление равносильных преобразований.

сделанные С.С. Лавровым во время чтения рукописи, и записи А.П. Ершова, сделанные им во время беседы с С.С. Лавровым.

Извинения и просьбы к читателям рукописи.

Замечания читателей рукописи и реакция на них А.П. Ершова.

между Главной редакцией физико-математической литературы издательства "Наука" и автором, А.П. Ершовым, об издании книги "Введение в теорию программирования". Автор обязуется представить рукопись позднее 1 декабря 1974 года.

к внесению исправлений и собственно исправления к рукописи. /Текст рукописный./

лекций по теоретическому программированию, Часть I. /Позже этот материал был полностью использован для книги "Введение в теоретическое программирование"./

лекций "Введение в теорию программирования, Часть II. Теория схем программ Янова".

лекций, прочитанных в Стэнфорде "Memory optimization in abstract programs". /Материал лекций позже был использован для книги "Введение в теоретическое программирование"./

книги "Введение в теоретическое программирование (Беседы о методе)". /Текст рукописный, переведен на английский язык./

книги "Введение в теоретическое программирование (Беседы о методе)". /Текст машинописный, на английском языке./

автора на отзыв члена-корреспондента АН СССР С.С. Лаврова о рукописи книги "Введение в теоретическое программирование".