The Gulag Archipelago
Aleksandr Solzhenitsyn
Language Unlimited
David Adger
Data Management on New Hardware
Spyros Blanas, Rajesh Bordawekar, Tirthankar Lahiri, Justin ...
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
The Count of Monte Cristo, Illustrated
Alexandre Dumas