Ada 2012 Reference Manual. Language and Standard Libraries

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.