ANSI/ISO/IEC 8652:2012, Information technology — Programming languages
— Ada, December 2012
(The Ada 2012
Reference Manual, essentially the same document, can be found online
at http://www.adaic.org/ada-resources/standards/ada12/.)
ANSI/MIL-STD-1815A-1983, ISO 8652:1987, FIPS 119 Reference Manual for
the Ada Programming Language — superseded by ISO-8652:95)
(This
can be found online at http://archive.adaic.com/standards/ada83.html.)
ANSI/ISO/IEC 8652:1995, Information technology — Programming languages
— Ada, January 1995
(An unofficial
version can be found online at http://archive.adaic.com/standards/ada95.html.)
ISO/IEC 8652:1995/AMD 1:2007, Information technology — Programming
languages — Ada — Amendment 1, March 2007.
(An
unofficial version can be found at http://www.ada-auth.org/amendment.html.
An unofficial document (“Ada 2005 Reference Manual”) that
merges [Amend1] with [Ada95]
and [TC1] can be found at http://www.adaic.org/ada-resources/standards/ada05/.)
ISO/IEC 18009:1999, Information technology — Programming languages
— Ada: Conformity Assessment of a Language Processor, December
1999
Ada Resource Association: Operating Procedures for Ada Conformity Assessments
Version 3.1, December 2013
(This can
be found online in various formats at http://www.ada-auth.org/info.html.)
ISO/IEC 8652:1995/COR 1:2001, Information technology — Programming
languages — Ada — Technical Corrigendum 1, June 2001.
(An
unofficial version can be found at http://www.ada-auth.org/grab-bag.html.)