@Part(title, Root="rat.msm")

@comment{$Source: e:\\cvsroot/ARM/Rationale/refs.mss,v $}
@comment{$Revision: 1.6 $ $Date: 2008/01/31 05:06:19 $}

@UnnumberedSection{References}

@begin{Description}

@LocalTarget{Target=[R1],Text={[1]}}@\ISO/IEC JTC1/SC22/WG9 N412 (2002)
@i{Instructions to the Ada Rapporteur Group from SC22/WG9 for Preparation of the
Amendment}. @Shrink{@i{(This can be found online at
@URLLink{URL=[http://www.open-std.org/jtc1/sc22/WG9/n412.pdf],
Text=[http://www.open-std.org/jtc1/sc22/WG9/n412.pdf]}.)}}

@LocalTarget{Target=[R2],Text={[2]}}@\ISO/IEC 8652:1995/COR 1:2001,
@i{Information technology @em Programming languages @em Ada @em
Technical Corrigendum 1}. @Shrink{@i{(An unofficial
version can be found at @URLLink{URL=[http://www.ada-auth.org/grab-bag.html],
Text=[http://www.ada-auth.org/grab-bag.html]}.)}}

@LocalTarget{Target=[R3],Text={[3]}}@\S. T. Taft et al (eds) (2001)
@i{Consolidated Ada Reference Manual},
LNCS 2219, Springer-Verlag. @Shrink{@i{(Online versions can be found
at @URLLink{URL=[http://www.adaic.org/standards/ada95.html],
Text=[http://www.adaic.org/standards/ada95.html]}.)}}

@LocalTarget{Target=[R4],Text={[4]}}@\ISO/IEC TR 24718:2004 (2004)
@i{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).

@LocalTarget{Target=[R5],Text={[5]}}@\ISO/IEC 13813:1997 (1997) @i{Generic
packages of real and complex type declarations and basic operations for Ada
(including vector and matrix types)}.

@LocalTarget{Target=[R6],Text={[6]}}@\J. G. P. Barnes (1998) @i{Programming
in Ada 95}, 2nd ed., Addison-Wesley.

@LocalTarget{Target=[R7],Text={[7]}}@\@i{Ada 95 Rationale} (1995) LNCS 1247,
Springer-Verlag. @Shrink{@i{(Online versions can be found
at @URLLink{URL=[http://www.adaic.org/standards/ada95.html],
Text=[http://www.adaic.org/standards/ada95.html]}.)}}

@LocalTarget{Target=[R8],Text={[8]}}@\A. Burns and A. Wellings (2006)
@i{Concurrent and Real-Time Programming In Ada 2005}, Cambridge University
Press.

@LocalTarget{Target=[R9],Text={[9]}}@\J. G. P. Barnes (2003) @i{High Integrity Software
@en The SPARK Approach to Safety and Security}, Addison-Wesley.

@LocalTarget{Target=[R10],Text={[10]}}@\D. E. Knuth (1973). @i{The Art of
Computer Programming, vol 3 @en Searching and Sorting}, Addison-Wesley.

@LocalTarget{Target=[R11],Text={[11]}}@\ACM (1979) @i{Preliminary Ada Reference
Manual}, Sigplan Notices, Vol. 14, No. 6.

@LocalTarget{Target=[R12],Text={[12]}}@\ACM (2003) @i[Proceedings of the 12th
International Real-Time Ada Workshop], Ada Letters, Vol 32, No 4.

@LocalTarget{Target=[R13],Text={[13]}}@\J. G. P. Barnes (2006) @i[Programming
in Ada 2005], Addison-Wesley.

@LocalTarget{Target=[R14],Text={[14]}}@\S. T. Taft et al (eds) (2006)
@i{Ada 2005 Reference Manual}, LNCS 4348, Springer-Verlag. @Shrink{@i{(Online versions
can be found at @URLLink{URL=[http://www.adaic.org/standards/ada05.html],
Text=[http://www.adaic.org/standards/ada05.html]}.)}}

@LocalTarget{Target=[R15],Text={[15]}}@\The @i{Annotated Ada Reference Manual}
can be found online at @URLLink{URL=[http://www.adaic.org/standards/ada05.html],
Text=[http://www.adaic.org/standards/ada05.html]}.

@LocalTarget{Target=[R16],Text={[16]}}@\ISO/IEC 8652:1995/AMD.1:2007,
@i{Information technology @em Programming languages @em Ada @em Amendment 1}.
@Shrink{@i{(An unofficial
version can be found at @URLLink{URL=[http://www.ada-auth.org/amendment.html],
Text=[http://www.ada-auth.org/amendment.html]}.)}}
@end{Description}
