Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
The Platonic Doctrines of Albinus
Albinus
Game Programming Gems 4
Andrew Kirmse
Art of Computer Programming, Volume 2: Seminumerical Algorithms, ...
Donald E. Knuth
Only the paranoid survive: how to exploit the crisis points ...
Andrew S. Grove