Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Multiplayer Game Programming: Architecting Networked Games / ...
Josh Glazer & Sanjay Madhav
Game Design (1)
High-Precision Relative Clock Synchronization Using Time Stamp ...
Guo-Song Tian, Yu-Chu Tian, Colin Fidge
Morse Theory
John Milnor
3D Math Primer for Graphics and Game Development
Fletcher Dunn, Ian Parberry