Coders at Work
Peter Seibel
Poor Daddy
Robert A. Heinlein
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
Seven Databases in Seven Weeks, Second Edition
Luc Perkins & Eric Redmond & Jim R. Wilson
Categories for the Working Mathematician
Saunders Mac Lane