Stonehouses Anatomy (Jap)
Superani
Modern Processor Design: Fundamentals of Superscalar Processors
John Paul Shen, Mikko H. Lipasti
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The Geometry of René Descartes
René Descartes
Anti-Tech Revolution: Why and How
Theodore John Kaczynski