Semantics Engineering with PLT Redex by Robert Bruce Findler, Matthew Flatt - WordSea