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