Calculus on Manifolds
Michael Spivak
Intuitionistic Type Theory
Per Martin-Lof
Game Programming Patterns
Nystrom, Robert
Stand on Zanzibar
John Brunner
Electrostatic Motors: Their History, Types, and Principles of ...
Oleg Jefimenko