The Structure Of Scientific Revolutions
Thomas Kuhn
The Federalist
Pain Webber
The C++ Programming Language
Bjarne Stroustrup
An introduction to metaphysics
Henri Bergson
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program