Describir: Ada 2012 Reference Manual. Language and Standard Libraries