Medical Devices: The Therac-25
Nancy Leveson
Haskell vs. Ada vs. C++ vs. Awk vs. ... An Experiment in Software ...
Paul Hudak & Mark Jones
Ranma-Book02
Unknown
The Legend Of Koizumi 54
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
Real World OCaml: Functional Programming for the Masses
Yaron Minsky & Anil Madhavapeddy & Jason Hickey
Domain-Driven Design: Tackling Complexity in the Heart of Software
Eric Evans
Working Effectively With Legacy Code
Michael Feathers
Higher-Order Perl: A Guide to Program Transformation
Mark Jason Dominus