Ada 2005 reference manual : language and standard libraries : International standard ISO/IEC 8652/1995 (E) with technical corrigendum 1 and amendment 1 - Taft, S. Tucker (Lecture notes in computer science ;, 1995)