Ada 2012 Reference Manual. Language and Standard Libraries [electronic resource] : International Standard ISO/IEC 8652/2012 (E) / edited by S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy, Edmond Schonberg.

General -- Lexical Elements -- Declarations and Types -- Names and Expressions -- Statements -- Subprograms -- Packages -- Visibility Rules -- Tasks and Synchronization -- Program Structure and Compilation Issues -- Exceptions -- Generic Units -- Representation Issues -- The Standard Libraries -- Annex A (normative) Predefined Language Environment -- Annex B (normative) Interface to Other Languages -- Annex C (normative) Systems Programming -- Annex D (normative) Real-Time Systems -- Annex E (normative) Distributed Systems -- Annex F (normative) Information Systems -- Annex G (normative) Numerics -- Annex H (normative) High Integrity Systems -- Annex J (normative) Obsolescent Features -- Annex K (informative) Language-Defined Aspects and Attributes -- Annex L (informative) Language-Defined Pragmas -- Annex M (informative) Summary of Documentation Requirements -- Annex N (informative) Glossary -- Annex P (informative) Syntax Summary -- Annex Q (informative) Language-Defined Entities -- Index.