Art of Computer Programming, Volume 2: Seminumerical Algorithms, ...
Donald E. Knuth
Foundations of Mechanical Accuracy
Wayne R. Moore
Intuitionistic Type Theory
Per Martin-Lof
The History of the Peloponnesian War
Thucydides
Built to Last
Jim Collins