Change by Design
Brown, Tim
Morse Theory
John Milnor
A brief introduction to type theory and the univalence axiom
Jackson Macor
Language Implementation Patterns
Terence Parr
Electromagnetic Retardation and Theory of Relativity: New Chapters ...
Oleg D. Jefimenko
Grounding and Shielding: Circuits and Interference
Ralph Morrison