книги "Введение в теоретическое программирование" с замечаниями С.С. Лаврова и реакцией на них А.П. Ершова.

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

Поиск примеров.

операторной схемы (75 - операторов; 99 - дуг; 73 - аргумента; 45 - результатов; число красок - 15; время работы программы - 2 мин. 2 сек.). /Текст рукописный./

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

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

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

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

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

Примеры для лекций.

Черновики иллюстраций к 1-й главе.

Черновики иллюстраций ко 2-й главе.

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

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

Отошедшие материалы, заготовки рисунков.

черновые к 3-й главе.

Реализация.

Картинки к 4-й главе.

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