S. T. Taft et al (eds) (2012) Ada 2012 Reference Manual, LNCS
8339, Springer-Verlag.
John Barnes (2013)
Ada 2012 Rationale, LNCS 8338, Springer-Verlag.
(Online versions can be found at http://www.ada-auth.org/standards/rationale12.html.)
ISO/IEC 8652:2012/Cor 1:2016(E),
Information technology — Programming
languages — Ada — Technical Corrigendum 1.
(An
unofficial version can be found at http://www.ada-auth.org/corrigendum1-12.html.
A version that consolidates TC1 with the Ada Reference Manual can be
found at http://www.ada-auth.org/standards/ada12_w_tc1.html.)
© 2016 John Barnes Informatics.