The C++ Programming Language
Bjarne Stroustrup
Dive Into Design Patterns
Alexander Shvets
The Candida Cure Cookbook
Ann Boroch
Linear Algebra Through Geometry
Thomas Banchoff, John Wermer
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program