Programming languages and lambda calculi. http://www.cs.utah.edu/plt/publications/pllc.pdf (2003)

by Matthias Felleisen, Matthew Flatt