Intuitionistic Type Theory
Per Martin-Lof
Geometric Quantization
N. M. J. Woodhouse
Zen of Assembly Language: Knowledge
Michael Abrash
The Federalist
Pain Webber
Expert C Programming
Peter van der Linden