Ершов А. П., Введение в теоретическое программирование.
Беседы о методе.

1977, изд-во: Наука, город: Москва, стр. : 288 стр., обложка: Твердый издательский переплет., формат: Слегка увеличенный., состояние: Отличное. . Книга представляет собой цикл лекций, написанных в виде беседы с читателями. Подробно рассматриваются две классические задачи теоретического программирования, решения которых и развитые на этих решениях методы привели к созданию теоретического программирования как самостоятельной дисциплины. Это - задача экономии памяти в схемах Лаврова и задача построения полной системы преобразований в схемах Янова.