Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Game Engine Black Book Doom (v1.1)
Fabien Sanglard
3D Game Engine Dsign
David H. Eberly
The Count of Monte Cristo, Illustrated
Alexandre Dumas