Richard Feynman's appendix to the Rogers Commission Report on the failure of Shuttle Challenger.

http://www.ralentz.com/old/space/feynman-report.html

The section titled 'Avionics' is a good read for any programmer and relevant to Dijkstra's discussion (@ 13:00) of the software developed by IBM and used in the Apollo lunar module.