Linkers and Loaders
John R. Levine
Rework
Jason Fried & David Heinemeier Hansson
Start Your Own Business
The Staff of Entrepreneur Media
Intuitionistic Type Theory
Per Martin-Lof
Grain Brain
David Perlmutter