Game Programming Gems
Mark A. Deloura
The Bullet Journal Method: Track Your Past, Order Your Present, ...
Carroll, Ryder
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
The Mobile Wave
Michael Saylor
Language Unlimited
David Adger