Masters of Doom: How Two Guys Created an Empire and Transformed ...
David Kushner
Operating System Design: The Xinu Approach, Second Edition
Douglas Comer
Iamblichi Chalcidensis in Platonis Dialogos Commentariorum Fragmenta
John M. Dillon
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Game Programming Gems 5
Kim Pallister