Ables, K. "Traffic Light Outages." The Risks Digest. 25 April 1990.

Ada and Beyond, Softwar Policies for the Department of Defense. National Academy of Sciences. 1997.

daCosta, Robert. "The History of Ada."

Department of Defence Directive 3405.1. "Computer Programming Language Policy." April 2, 1987.

DiGiorgio, Anthony. "The Smart Ship Is Not the Answer." U.S. Naval Instituted, June 1998.

Feynman, Richard P. "Personal observations on the reliability of the Shuttle"
Report on the Presidential Commission on the Space Shuttle Challenger Accident, Appendix F.

Fishman, Charles. "They Write the Right Stuff" Fast Company. Fast Company

Hayashi, Alden M. "Rough Sailing for Smart Ships." Scientific American. November, 1998.

Implementation of the Ada Programming Language.

Jackey, Jonathan. "Space shuttle computer problems, 1981-1985"
The Risks Digest Volume 8, Issue 13.

Kempe, Magnus. "End of Mandate Q&A with AJPO Director Hamilton."

Martin, Mike. "Revisiting the USS Yorkdown dead in the water." The Risks Digest, Volume 20, Issue 37.

McKelvy, Harvey. "Seaworthy Software." Scientific American. March 1999.

Mears, Brad, Ken Jinks, et al. "Frequently Asked Questions About the Space Shuttle Computers." Testing Techniques Newsletter Feb-Apr 1996.

Neitzel, R. "Traffic System Failure." The Risks Digest. 6 March 1990.

Orbiter Manufacturing and Assembly, "General Purpose Computers."

Owre, S. et al. "PVS: An Experience Report." October, 1998.

Paige, Emmett Jr. "Use of the Ada Programming Language."

Roby, Clyde, Ed. "STONEMAN One-Line." History of Ada.

Rushby, John. "Formal Methods and Their Role in the Certification of Critical Systems." March, 1995.

Slabodkin, Gregory. "Software glitches leave Navy Smart Ship dead in the water."Government Computer News. July 13, 1998.

Slabodkin, Gregory. "Smart Ship inquiry a go." Government Computer ews. August 31, 1998.

Smart Ship Program. Department of the Navy.

Space FAQ. Part 5/13, "References.

Stansifer, Ryan. "History of the Ada Programming Lanauge."

Stutz, Michael. "Sunk by Windows NT." Wired News. July 24, 1998.,1282,13987,00.html

Upgrading the Space Shuttle, "Assessment of Proposed Upgrades"
National Academy Press.

The Ada Programming Language, "History.University of Michigan.">