Ignition: An Informal History of Liquid Rocket Propellants
John D. Clark
Linkers and Loaders
John R. Levine
Essay on Economic Theory, An
Richard Cantillon
De Umbris Idearum: On the Shadows of Ideas (Collected Works ...
Giordano Bruno
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program