A Mathematician's Apology
G. H. Hardy
Meditations
Marcus Aurelius
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
The Gulag Archipelago
Aleksandr Solzhenitsyn
Profit + Purpose
Westaway, Kyle
The Power to Compete
Hiroshi Mikitani & Ryoichi Mikitani