Common sense
Paine, Thomas, 1737-1809
Language Unlimited
David Adger
Engineering a Compiler
Keith D. Cooper & Linda Torczon
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Designing the Mind: The Principles of Psychitecture
Ryan A Bush & Designing The Mind