Semantics Engineering with PLT Redex - Felleisen M.; Felleisen M. (PHI Learning, 2009)