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
Democracy in America
de Tocqueville, Alexis
Rework
Jason Fried & David Heinemeier Hansson
Design and Implementation of the FreeBSD Operating System, The, ...
Marshall Kirk McKusick & George V. Neville-Neil & Robert N. M. Watson