Intuitionistic Type Theory
Per Martin-Lof
The Gulag Archipelago
Aleksandr Solzhenitsyn
Game Coding Complete
McShaffry, Mike(Author)
The Count of Monte Cristo (Unabridged Penguin)
Alexandre Dumas
Anti-Tech Revolution: Why and How
Theodore John Kaczynski