Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
70447-Article Text-196704-1-10-[..]
Amy
PLP An introduction to mathematical proof
Seckin Demibras, Andrew Rechnitzer
The C Programming Language
Ritchie & Kernighan
"Trickle Down Theory" and "Tax Cuts for the Rich"
Thomas Sowell