An investigation of the Therac-25 accidents - Computer
IEEE
The Long Way to a Small, Angry Planet: A Novel
Becky Chambers
Across the Horizon in Our Minds
LadyKarai
Dirk Gently's Holistic Detective Agency
Douglas Adams
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport