Heat Kernels and Dirac Operators
Ezra Getzler
Superintelligence: Paths, Dangers, Strategies
Nick Bostrom
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Zen of Assembly Language: Knowledge
Michael Abrash
Linkers and Loaders
John R. Levine