Intuitionistic Type Theory
Per Martin-Lof
Collision Detection in Interactive 3D Environments
Gino van den Bergen
Conversations in the House of Life: A New Translation of the ...
Richard Jasnow & Karl-Theodor Zauzich
Game Engine Gems 3
Eric Lengyel
What Doesn't Kill Us
Scott Carney