Engineering a Compiler
Keith D. Cooper & Linda Torczon
Re-Counting Plato: A Computer Analysis of Plato's Style
Gerard R. Ledger
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Taking People With You: The Only Way to Make Big Things Happen ...
David Novak
Start Your Own Business
The Staff of Entrepreneur Media