Dive Into Design Patterns
Alexander Shvets
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Electricity and matter
Thomson, J. J. (Joseph John), Sir, 1856-1940
The Toxin Solution
Joseph Pizzorno
Anti-Tech Revolution: Why and How
Theodore John Kaczynski