The Colour of Magic
Terry Pratchett
Daemon
Daniel Suarez
Time For The Stars
Robert A. Heinlein
The Long Watch
Domain-Driven Design: Tackling Complexity in the Heart of Software
Eric Evans
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport