The C++ Programming Language
Bjarne Stroustrup
The Hero With A Thousand Faces
Joseph Campbell
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Platform
Cynthia Johnson
Euclid's Elements of Geometry
Richard Fitzpatrick, University of Texas at Austin