Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Linear Programming Beyond 4.2(Simplex Method)
Heckman C.C.
3D Game Engine Architecture: Engineering Real-Time Applications ...
David H. Eberly
The Oxygen Advantage: The Simple, Scientifically Proven Breathing ...
Patrick McKeown
Four Thousand Weeks: Time Management for Mortals
Oliver Burkeman