Ada 2005 Reference Manual. Language and Standard Libraries - International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1 - S. Tucker Taft; Robert A. Duff; Randall Brukardt; Erhard Plödereder; Pascal Leroy (Springer, 2006)

Ada 2012 Reference Manual. Language and Standard Libraries - International Standard ISO/IEC 8652/2012 (E) - S. Tucker Taft; Robert A. Duff; Randall Brukardt; Erhard Plödereder; Pascal Leroy; Edmond Schonberg (Springer, 2013)