Ready Player One
Ernest Cline
dune documentation
Jérémie Dimino
A Brief History of Time
Hawking, Stephen
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
The Good, the Bad, and the Undead
Kim Harrison
Dead Witch Walking