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
A Common-Sense Guide to Data Structures and Algorithms, Second ...
Jay Wengrow
All the Way to the River: Love, Loss, and Liberation
Elizabeth Gilbert
Design for Hackers: Reverse-Engineering Beauty
David Kadavy