"Trickle Down Theory" and "Tax Cuts for the Rich"
Thomas Sowell
Code The Hidden Language of Computer Hardware and Software
Charles Petzold
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Structure and Interpretation of Classical Mechanics: Second ...
Gerald Jay Sussman & Jack Wisdom
Navigating Metabolism by Navdeep S. Chandel
Hiroshi Nakai