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

ISO/IEC TR 24718:2004 (2004) Guide for the use of the Ada Ravenscar Profile in high integrity systems.

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.)

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.)

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

Rationale for the Design of the Ada Programming Language, Ichbiah, Barnes, Firth and Woodger (1986), Honeywell and Alsys.(An online version can be accessed at http://archive.adaic.com/standards/83rat/html/ratl-TOC.html. The quote mentioned in 2.2 can found in clause 2.1: http://archive.adaic.com/standards/83rat/html/ratl-02-01.html. The discussion mentioned in 4.2 can found in clause 8.4: http://archive.adaic.com/standards/83rat/html/ratl-08-04.html.)

John Barnes (2006) Programming in Ada 2005, Addison-Wesley.

P. Naur (ed.) Revised Report on the Algorithmic Language ALGOL 60 (1963) Communications of the Association for Computing Machinery, Vol. 6, p. 1.

D. W. Barron et al (1963) The main features of CPL, Computer Journal vol. 6, pp 134-143.

A. van Wijngaarden et al (eds) (1973) Revised Report on the Algorithmic Language – ALGOL 68, Springer-Verlag.

K. Jensen and N. Wirth (1975) Pascal User Manual and Report, Springer-Verlag.

Defense Advanced Research Projects Agency (1978) Department of Defense Requirements for High Order Computer Programming Languages – STEELMAN, USDoD.

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

D. R. Hofstadter (1980) Gödel, Escher, Bach: an Eternal Golden Braid, Basic Books.

John Barnes (2008) Ada 2005 Rationale, LNCS 5020, Springer-Verlag.(Online versions can be found at http://www.adaic.org/ada-resources/standards/ada05/rationale05/.)

David Fisher (1976) A Common Programming Language for the Department of Defense — Background and Technical Requirements, Institute for Defense Analyses, Arlington, Virginia.

Defense Advanced Research Projects Agency (1977) Department of Defense Requirements for High Order Computer Programming Languages — Revised IRONMAN, USDoD.

Jean Ichbiah et al (1978) Preliminary Reference Manual for the Green Programming Language, Honeywell Inc.

Jean Ichbiah et al (1979) Reference Manual for the Green Programming Language, Honeywell Inc.

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

ANSI / Mil—Std 1815A (1983) Ada Reference Manual.(An online version can be found at http://archive.adaic.com/standards/83lrm/html/ada_lrm.html.)

B Higman (1963) What everybody should know about Algol, Computer Journal, vol 6, no 1, pp 50-56.

A. Burns and A. Wellings (2007) Integrating OOP and Tasking — the missing requeue, Proceedings of the 13th International Real-Time Ada Workshop, Ada Letters, Vol 27, No 2.

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

John Barnes (2012) SPARK — The proven approach to High Integrity Software, Altran Praxis.