Math You Can't Use : Patents, Copyright, and Software
Ben Klemens
Crafting Interpreters
Timothy Andrew
Types and Programming Languages
Benjamin C. Pierce & Benjamin C. (professor Pierce, University Of Pennsylvania)
The Soul of a New Machine
Tracy Kidder
Divine Proportions: Rational Trigonometry to Universal Geometry
Norman John Wildberger