Science of Discworld
Pratchett, Terry
The Well of Ascension
Brandon Sanderson
Mistborn (2)
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
Foundations of Programming
Karl Seguin
Across the Horizon in Our Minds
LadyKarai