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