Intuitionistic Type Theory
Per Martin-Lof
Code The Hidden Language of Computer Hardware and Software
Charles Petzold
The C++ Programming Language
Bjarne Stroustrup
The Platonic Doctrines of Albinus
Albinus
The Count of Monte Cristo, Illustrated
Alexandre Dumas