To Sail Beyond The Sunset Lazarus Long 5
Robert A. Heinlein
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
Searchlight
Starman Jones
Folklore of Discworld
Pratchett, Terry
Snuff
Discworld (39)