Автор: В.Э. Вольфенгаген, профессор, д.т.н., Институт "ЮрИнфоР-МГУ", кафедра перспективных компьютерных исследований и информационных технологий.
	Категориальная абстрактная машина. Конспект лекций: введение в вычисления. -- 2-е изд. -- М.: АО "Центр ЮрИнфоР", 2002. -- 96 с. ISBN 5-89158-102-7

Работа содержит изложение базовых моделей вычислений, применяемых в компьютерных науках. Изложены основы l-исчисления и комбинаторные исчисления. Основное внимание уделено подробному рассмотрению техники вычисления значения конструкций языков программирования, включая компилирование кода, его оптимизацию и исполнение на примере категориальной абстрактной машины. Изложение построено на примерах возрастающей сложности.

Книга может быть рекомендована студентам и аспирантам, изучающим основы компьютерных наук, теорию и языки программирования, информационные технологии, информатику и дискретную математику.