The Little Typer (The MIT Press)
The Seasoned Schemer (The MIT Press)
The Little Prover (The MIT Press)
Structure and Interpretation of Computer Programs - 2nd Edition (MIT Electrical Engineering and Computer Science)
The Little MLer
Programming in Haskell
Types and Programming Languages (The MIT Press)
How to Design Programs: An Introduction to Programming and Computing (The MIT Press)
Realm of Racket: Learn to Program, One Game at a Time!