Е 80 |
Ершов, А. П. Введение в теоретическое программирование [Текст] : Беседы о методе / А. П. Ершов. – М. : Наука, 1977. – 288 с. – 55000.
Рассматриваются задача экономии памяти в схемах Лаврова и задача построения полной системы преобразования в схемах Янова. |