Engineering a Compiler
Keith D. Cooper & Linda Torczon
Managing Oneself
Drucker, Peter Ferdinand
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Early Retirement Extreme: A Philosophical and Practical Guide ...
Jacob Lund Fisker
Design and Implementation of the FreeBSD Operating System, The, ...
Marshall Kirk McKusick & George V. Neville-Neil & Robert N. M. Watson