Propaganda
Edward Bernays
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Types and Programming Languages
Benjamin C. Pierce & Benjamin C. (professor Pierce, University Of Pennsylvania)
Game Programming Gems 7
Scott Jacobs
No bullshit guide to linear algebra
Ivan Savov