Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Data Management on New Hardware
Spyros Blanas, Rajesh Bordawekar, Tirthankar Lahiri, Justin ...
Big Debt Crises
Ray Dalio
Compilers Principles, Techniques, and Tools 2/E
Aho Lam Sethi Ullman
Designing the Mind: The Principles of Psychitecture
Ryan A Bush & Designing The Mind