Change by Design
Brown, Tim
The Making of Late Antiquity
Peter Brown
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Operating System Design: The Xinu Approach, Second Edition
Douglas Comer
Only the paranoid survive: how to exploit the crisis points ...
Andrew S. Grove