Ada 2012 Reference Manual. Language and Standard Libraries : International Standard ISO/IEC 8652/2012 (E) - S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy, Edmond Schonberg ((Lecture Notes in Computer Science))