The Soul of a New Machine
Tracy Kidder
Linkers and Loaders
John R. Levine
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
The Search for Atlantis: A History of Plato's Ideal State
Kershaw, Stephen
The Medieval Craft of Memory: An Anthology of Texts and Pictures
Mary Carruthers & Jan M. Ziolkowski