The Metacircular Evaluator
mitpress.mit.edu