New Foundations for Classical Mechanics
D. Hestenes
Peopleware: Productive Projects and Teams
Tom DeMarco
Intuitionistic Type Theory
Per Martin-Lof
Dynamic Bible
Peter Han
Built to Last
Jim Collins