Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Crafting Interpreters
Timothy Andrew
Practical Foundations for Programming Languages
Robert Harper
Game Engine Gems, Volume One
Eric Lengyel
Game Engine Gems (1)
Anti-Tech Revolution: Why and How
Theodore John Kaczynski