Functional Programming with Bananas, Lenses, Envelopes and Barbed ...
Erik Meijer, Maarten Fokkinga, Ross Paterson
Misfit
Robert A. Heinlein
Inc Magic
Medical Devices: The Therac-25
Nancy Leveson
Dead and Alive
Dean R. Koontz