Compilers Principles, Techniques, and Tools 2/E
Aho Lam Sethi Ullman
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The Innovator's Dilemma: When New Technologies Cause Great Firms ...
Clayton M. Christensen
The Search for the Perfect Language
Umberto Eco
The Count of Monte Cristo, Illustrated
Alexandre Dumas