The Grand Design
Stephen Hawking & Leonard Mlodinow
Beyond This Horizon
Robert A. Heinlein
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
The Colour of Magic
Terry Pratchett
The Lost Symbol: A Novel
Dan Brown