Re-Counting Plato: A Computer Analysis of Plato's Style
Gerard R. Ledger
Compilers Principles, Techniques, and Tools 2/E
Aho Lam Sethi Ullman
Types and Programming Languages
Benjamin C. Pierce & Benjamin C. (professor Pierce, University Of Pennsylvania)
The Obesity Code: Unlocking the Secrets of Weight Loss
Jason Fung
Einstein Manifolds
Arthur L. Besse
Euclid's Elements of Geometry
Richard Fitzpatrick, University of Texas at Austin
How to Solve It: A New Aspect of Mathematical Method
George Polya
New Foundations for Classical Mechanics
D. Hestenes