Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The Soul of a New Machine
Tracy Kidder
7 Habits of Highly Effective People: The Ultimate Revelations ...
Stephen R. Covey
Art of Computer Programming, Volume 2: Seminumerical Algorithms, ...
Donald E. Knuth
Sphaera mundi
Sacro Bosco, Joannes de, active 1230; Regiomontanus, Joannes, ...