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)