The 8th Habit
Stephen R. Covey
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Big Debt Crises
Ray Dalio
The Book of Memory: A Study of Memory in Medieval Culture
Mary Carruthers
Design and Implementation of the FreeBSD Operating System, The, ...
Marshall Kirk McKusick & George V. Neville-Neil & Robert N. M. Watson
Art of Computer Programming, Volume 2: Seminumerical Algorithms, ...
Donald E. Knuth