Ables, K. "Traffic Light Outages." The Risks Digest. 25 April 1990.
http://catless.ncl.ac.uk/Risks/9.83.html#subj2.1

Ada and Beyond, Softwar Policies for the Department of Defense. National Academy of Sciences. 1997.
http://sw-eng.falls-church.va.us/nrc/nrc-contents.html

daCosta, Robert. "The History of Ada."
http://adaic.org/docs/flyers/history.shtml

Department of Defence Directive 3405.1. "Computer Programming Language Policy." April 2, 1987.
http://sw-eng.falls-church.va.us/3405-1.html#mandate

DiGiorgio, Anthony. "The Smart Ship Is Not the Answer." U.S. Naval Instituted, June 1998.
http://www.usni.org/Proceedings/digiorgio.htm

Feynman, Richard P. "Personal observations on the reliability of the Shuttle"
Report on the Presidential Commission on the Space Shuttle Challenger Accident, Appendix F.
http://www.ksc.nasa.gov/shuttle/missions/51-l/docs/rogers-commission/Appendix-F.txt

Fishman, Charles. "They Write the Right Stuff" Fast Company.
http://www.fastcompany.com/online/06/writestuff.html Fast Company

Hayashi, Alden M. "Rough Sailing for Smart Ships." Scientific American. November, 1998.
http://www.sciam.com/1998/1198issue/1198techbus2.html

Implementation of the Ada Programming Language.
http://www.army.mil/disc4/arch/adw/ada.htm

Jackey, Jonathan. "Space shuttle computer problems, 1981-1985"
The Risks Digest Volume 8, Issue 13.
http://catless.ncl.ac.uk/Risks/8.13.html#subj3

Kempe, Magnus. "End of Mandate Q&A with AJPO Director Hamilton."
http://www.adahome.com/articles/1997-04/qa_ajpo.html

Martin, Mike. "Revisiting the USS Yorkdown dead in the water." The Risks Digest, Volume 20, Issue 37.
http://catless.ncl.ac.uk/Risks/20.37.html#subj1.1

McKelvy, Harvey. "Seaworthy Software." Scientific American. March 1999.
http://www.sciam.com/1999/0399issue/0399letters.html

Mears, Brad, Ken Jinks, et al. "Frequently Asked Questions About the Space Shuttle Computers." Testing Techniques Newsletter Feb-Apr 1996.
http://www.soft.com/News/TTN-Online/ttnfeb96.html
http://www.soft.com/News/TTN-Online/ttnmar96.html
http://www.soft.com/News/TTN-Online/ttnapr96.html
http://catless.ncl.ac.uk/Risks/9.73.html#subj2.1

Neitzel, R. "Traffic System Failure." The Risks Digest. 6 March 1990.
http://catless.ncl.ac.uk/Risks/9.73.html#subj2.1

Orbiter Manufacturing and Assembly, "General Purpose Computers."
http://spaceflight.nasa.gov/shuttle/archives/sts-74/shutref/sts_asm.html#gpc_mods

Owre, S. et al. "PVS: An Experience Report." October, 1998.
http://www.csl.sri.com/reports/html/fmtrends98.html

Paige, Emmett Jr. "Use of the Ada Programming Language."
http://sw-eng.falls-church.va.us/oasd497.html

Roby, Clyde, Ed. "STONEMAN One-Line." History of Ada.
http://www.adahome.com/History/Stoneman/stoneint.htm

Rushby, John. "Formal Methods and Their Role in the Certification of Critical Systems." March, 1995. http://www.csl.sri.com/reports/html/csl-95-1.html

Slabodkin, Gregory. "Software glitches leave Navy Smart Ship dead in the water."Government Computer News. July 13, 1998.
http://www.gcn.com/archives/gcn/1998/july13/cov2.htm

Slabodkin, Gregory. "Smart Ship inquiry a go." Government Computer ews. August 31, 1998.
http://www.gcn.com/archives/gcn/1998/august31/1.htm

Smart Ship Program. Department of the Navy.
http://www.dt.navy.mil/smartship/

Space FAQ. Part 5/13, "References.
http://www.open.hr/space/knowledgebase/faqs/Space_FAQ_05_13_-_References

Stansifer, Ryan. "History of the Ada Programming Lanauge."
http://www.cs.fit.edu/~ryan/ada/ada-hist.html

Stutz, Michael. "Sunk by Windows NT." Wired News. July 24, 1998.
http://www.wired.com/news/technology/0,1282,13987,00.html

Upgrading the Space Shuttle, "Assessment of Proposed Upgrades"
National Academy Press.
http://www.nap.edu/html/upgrading/ch4.htm

The Ada Programming Language, "History.University of Michigan.
http://www.engin.umd.umich.edu/CIS/course.des/cis400/ada/ada.html

http://www.csl.sri.com/reports/html/fmtrends98.html
http://www.csl.sri.com/reports/html/csl-95-1.html
http://www.accu.org/bookreviews/public/reviews/s/s001152.htmhttp://www.rvs.uni-bielefeld.de/publications/Incidents/ http://idun.unl.ac.uk/~11sadlerc/hlife.htm#davies
http://www.scit.wlv.ac.uk/%7Ecm1995/cbr/cases/case09/TEN.HTM">http://catless.ncl.ac.uk/Risks/4.01.html http://www.scit.wlv.ac.uk/~cm1995/cbr/cases/case09/TEN.HTM