A brief introduction to type theory and the univalence axiom
Jackson Macor
Code The Hidden Language of Computer Hardware and Software
Charles Petzold
The Three Languages of Politics: Talking Across the Political ...
Kling, Arnold
The Four Steps to the Epiphany
Steve Blank
How to Solve It: A New Aspect of Mathematical Method
George Polya