An investigation of the Therac-25 accidents - Computer
IEEE
Real World OCaml: Functional Programming for the Masses
Yaron Minsky & Anil Madhavapeddy & Jason Hickey
Angels' Pawn: A Companion Novella to Angels' Blood
Nalini Singh
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
Come Home
LadyKarai
Skywalkers