Medical Devices: The Therac-25
Nancy Leveson
Elm in Action MEAP V04
Richard Feldman
The Legend Of Koizumi 01
Unknown
Memories of the Future, Volume 1, Second Printing
Wil Wheaton
The Log: What every software engineer should know about real-time ...
Jay Kreps
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
Open Data Structures (in pseudocode)
Pat Morin
Open Data Structures (in Java)
Open Data Structures (in C++)
OCaml Programming: Correct + Efficient + Beautiful
Michael R. Clarkson
Real World OCaml: Functional Programming for the Masses
Yaron Minsky & Anil Madhavapeddy & Jason Hickey
Haskell Programming from first principles
Chris Allen & Julie Moronuki
Domain-Driven Design: Tackling Complexity in the Heart of Software
Eric Evans
Designing for Scalability With Erlang/Otp: Implementing Robust, ...
Francesco Cesarini & Simon Thompson & Steve Vinoski
Write Yourself a Scheme in 48 Hours
Wikibooks contributors
On Lisp: Advanced Techniques for Common Lisp
Paul Graham
Working Effectively With Legacy Code
Michael Feathers
Higher-Order Perl: A Guide to Program Transformation
Mark Jason Dominus
Foundations of Programming
Karl Seguin