Ordeal in Space
Robert A. Heinlein
Angels' Blood
Nalini Singh
Several People Are Typing
Calvin Kasulke
Empire of AI: Dreams and Nightmares in Sam Altman's OpenAI
Karen Hao
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport