Geometric Quantization
N. M. J. Woodhouse
Game Programming Gems 3
Dante Treglia
Modern C
Jens Gustedt
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program