Engineering a Compiler
Keith D. Cooper & Linda Torczon
Intuitionistic Type Theory
Per Martin-Lof
Language Unlimited
David Adger
The Art of War
Narattaphol Charoenphandhu
The Craft of Thought: Meditation, Rhetoric, and the Making of ...
Mary Jean Carruthers
