Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
The Federalist
Pain Webber
Language Implementation Patterns
Terence Parr
A Theory of Fun for Game Design
Raph Koster
The Count of Monte Cristo, Illustrated
Alexandre Dumas