Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
The Sublime Object of Ideology
Slavoj Zizek
Real-Time Collision Detection
Christer Ericson
Conversations in the House of Life: A New Translation of the ...
Richard Jasnow & Karl-Theodor Zauzich
Rework
Jason Fried & David Heinemeier Hansson