Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Accounting 101
Michele Cagan
Programming Game AI by Example
Mat Buckland
What Doesn't Kill Us
Scott Carney
Modern C
Jens Gustedt