The Soul of a New Machine
Tracy Kidder
Language Implementation Patterns
Terence Parr
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
The Wealth of Nations
Adam Smith
Rework
Jason Fried & David Heinemeier Hansson