Ada 2012 reference manual. Language andsStandard libraries : international standard ISO/IEC 8652/2012 (E) - Duff, Robert A.; Brukardt, Randall L.; Ploedereder, Erhard; Leroy, Pascal; Schonberg, Edmond; Taft, S. Tucker (Lecture Notes in Computer Science, 2013)