Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Peopleware: Productive Projects and Teams
Tom DeMarco
Physically Based Rendering, Fourth Edition: From Theory to Implementation
Wenzel Jakob & Greg Humphreys & Matt Pharr
Water Technology in the Middle Ages: Cities, Monasteries, and ...
Roberta J. Magnusson
Euclid's Elements of Geometry
Richard Fitzpatrick, University of Texas at Austin