The Soul of a New Machine
Tracy Kidder
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Picatrix Liber Atratus: Books 3 and 4 (Complete Picatrix Liber ...
Christopher Warnock
The Economy of Cities
Jane Jacobs
Four lectures on relativity and space
Steinmetz, Charles Proteus, 1865-1923