Modern Processor Design: Fundamentals of Superscalar Processors
John Paul Shen, Mikko H. Lipasti
The Model Thinker
Scott E. Page
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Tao Te Ching
Lao-tzu
The Platonic Doctrines of Albinus
Albinus