Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
A brief introduction to type theory and the univalence axiom
Jackson Macor
Z-80 Microprocessor: Architecture, Interfacing, Programming ...
Ramesh Gaonkar
Managing Oneself
Drucker, Peter Ferdinand
Taking People With You: The Only Way to Make Big Things Happen ...
David Novak