Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E) - Taft, S. Tucker; Duff, Robert A.; Brukardt, Randall L.; Ploedereder, Erhard; Leroy, Pascal; Schonberg, Edmond (Springer Berlin Heidelberg : Imprint: Springer, 2013)