Game Programming Gems 4
Andrew Kirmse
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Book of Proof
Richard Hammack
Euripides V: Bacchae, Iphigenia in Aulis, the Cyclops, Rhesus
Euripides
"Trickle Down Theory" and "Tax Cuts for the Rich"
Thomas Sowell