[1] ISO/IEC JTC1/SC22/WG9 N412 (2002) Instructions to the Ada Rapporteur Group from SC22/WG9 for Preparation of the Amendment.
[2] 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).
[3] J. G. P. Barnes (1998) Programming in Ada 95, 2nd ed., Addison-Wesley.
[4] A. Burns and A. Wellings (2006) Concurrent and Real-Time Programming In Ada 2005, Cambridge University Press.