Density-Functional Theories of Atoms and Molecules - R. Parr, ...
John
Dynamic Bible
Peter Han
Compilers Principles, Techniques, and Tools 2/E
Aho Lam Sethi Ullman
A brief introduction to type theory and the univalence axiom
Jackson Macor
De Rerum Natura: V
Titus Lucretius Carus