An investigation of the Therac-25 accidents - Computer
IEEE
Blood Cross
Faith Hunter
OCaml Programming: Correct + Efficient + Beautiful
Michael R. Clarkson
Columbus Was A Dope
Robert A. Heinlein
Elm in Action MEAP V07
Richard Feldman