Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Meditations
Marcus Aurelius
Art of Computer Programming, Volume 2: Seminumerical Algorithms, ...
Donald E. Knuth
Game Engine Black Book Wolfenstein 3D (v2.1)
Fabien Sanglard
The Craft of Thought: Meditation, Rhetoric, and the Making of ...
Mary Jean Carruthers