Options, Futures, and Other Derivatives, Global Edition, 9/e
John C. Hull
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Only the paranoid survive: how to exploit the crisis points ...
Andrew S. Grove
Dynamic Hedging Managing Vanilla and Exotic Options
Nassim Nicholas Taleb
Anti-Tech Revolution: Why and How
Theodore John Kaczynski