Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Hypercomplex Numbers: An Elementary Introduction to Algebras
I. L. Kantor & A. S. Solodovnikov
Foundations of Game Engine Development, Volume 2: Rendering
Eric Lengyel
Dynamic Bible
Peter Han
Designing the Mind: The Principles of Psychitecture
Ryan A Bush & Designing The Mind