Sphaera mundi
Sacro Bosco, Joannes de, active 1230; Regiomontanus, Joannes, ...
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Book of Proof
Richard Hammack
The C++ Programming Language
Bjarne Stroustrup
Z-80 Microprocessor: Architecture, Interfacing, Programming ...
Ramesh Gaonkar