Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The C++ Standard Library: A Tutorial and Reference
Nicolai M. Josuttis
Electricity and matter
Thomson, J. J. (Joseph John), Sir, 1856-1940
Ways that are Dark: The Truth about China
Ralph Townsend
The History of the Peloponnesian War
Thucydides