Expert C Programming
Peter van der Linden
Data Management on New Hardware
Spyros Blanas, Rajesh Bordawekar, Tirthankar Lahiri, Justin ...
Foundations of Mechanical Accuracy
Wayne R. Moore
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Designing the Mind: The Principles of Psychitecture
Ryan A Bush & Designing The Mind