"Метавычисления и их применение. Суперкомпиляция: Учебник" - читать интересную книгу автора (Абрамов С.М., Парменова Л.В.)