Types and Programming Languages
Benjamin C. Pierce & Benjamin C. (professor Pierce, University Of Pennsylvania)
The Design of Everyday Things: Revised and Expanded Edition
Norman, Don
Foundations of Mechanical Accuracy
Wayne R. Moore
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Rework
Jason Fried & David Heinemeier Hansson
Only the paranoid survive: how to exploit the crisis points ...
Andrew S. Grove