The Financial Crisis Inquiry Report: Final Report of the National ...
Financial The Financial Crisis Inquiry Commission
Z-80 Microprocessor: Architecture, Interfacing, Programming ...
Ramesh Gaonkar
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Practical Foundations for Programming Languages
Robert Harper
3D Math Primer for Graphics and Game Development
Fletcher Dunn, Ian Parberry