Compilers: Principles, Techniques, and Tools
Alfred V. Aho; Monica S. Lam; Ravi Sethi; Jeffrey D. Ullman
A Theory of Fun for Game Design
Raph Koster
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Grain Brain
David Perlmutter
Lymph & Longevity: The Untapped Secret to Health
Gerald Lemole