Stand on Zanzibar
John Brunner
An Architectural Approach to Level Design
Christopher W. Totten
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The Thirteen Books of Euclid's Elements
Euclid, Johan Ludvig Heiberg
The Infinite Retina: Spatial Computing, Augmented Reality, and ...
Irena Cronin & Robert Scoble