OCaml Programming: Correct + Efficient + Beautiful
Michael R. Clarkson
Medical Devices: The Therac-25
Nancy Leveson
Mastering Emacs
Mickey Petersen
Open Data Structures (in pseudocode)
Pat Morin
In the Beginning...was the Command Line
Neal Stephenson