Intuitionistic Type Theory
Per Martin-Lof
Pragmatism, a New Name for Some Old Ways of Thinking
William James
3D Game Engine Programming
Stefan Zerbst & Oliver Düvel
The Soul of a New Machine
Tracy Kidder
Linkers and Loaders
John R. Levine