The Part-Time Parliament
Leslie Lamport
The Therac-25: 30 Years Later
Nancy Leveson
Arcanum 101: Welcome New Students
Mercedes Lackey & Rosemary Edghill
Invasion Cycle • Book II • Planeshift
J.Robert King
Invasion Cycle (2)
Specifying Systems: The TLA+ Language and Tools for Hardware ...