ISO/IEC JTC1/SC22/WG9 N412 (2002) Instructions to the Ada Rapporteur Group from SC22/WG9 for Preparation of the Amendment. (This can be found online at http://www.open-std.org/jtc1/sc22/WG9/n412.pdf.)

ISO/IEC 8652:1995/COR 1:2001, Information technology — Programming languages — Ada — Technical Corrigendum 1. (An unofficial version can be found at http://www.ada-auth.org/grab-bag.html.)

S. T. Taft et al (eds) (2001) Consolidated Ada Reference Manual, LNCS 2219, Springer-Verlag. (Online versions can be found at http://www.adaic.org/ada-resources/standards/ada-95-documents/.)

ISO/IEC TR 24718:2004 (2004) Guide for the use of the Ada Ravenscar Profile in high integrity systems. This is based on University of York Technical Report YCS-2003-348 (2003).

ISO/IEC 13813:1997 (1997) Generic packages of real and complex type declarations and basic operations for Ada (including vector and matrix types).

J. G. P. Barnes (1998) Programming in Ada 95, 2nd ed., Addison-Wesley.

Ada 95 Rationale (1995) LNCS 1247, Springer-Verlag. (Online versions can be found at http://www.adaic.org/ada-resources/standards/ada-95-documents/.)

A. Burns and A. Wellings (2006) Concurrent and Real-Time Programming In Ada 2005, Cambridge University Press.

J. G. P. Barnes (2003) High Integrity Software – The SPARK Approach to Safety and Security, Addison-Wesley.

D. E. Knuth (1973). The Art of Computer Programming, vol 3 – Searching and Sorting, Addison-Wesley.

ACM (1979) Preliminary Ada Reference Manual, Sigplan Notices, Vol. 14, No. 6.

ACM (2003) Proceedings of the 12th International Real-Time Ada Workshop, Ada Letters, Vol 32, No 4.

J. G. P. Barnes (2006) Programming in Ada 2005, Addison-Wesley.

S. T. Taft et al (eds) (2006) Ada 2005 Reference Manual, LNCS 4348, Springer-Verlag. (Online versions can be found at http://www.adaic.org/ada-resources/standards/ada05/.)

The Annotated Ada Reference Manual can be found online at http://www.adaic.org/ada-resources/standards/ada05/.

ISO/IEC 8652:1995/AMD.1:2007, Information technology — Programming languages — Ada — Amendment 1. (An unofficial version can be found at http://www.ada-auth.org/amendment.html.)