Ada 95 reference manual : language and standard libraries : international standard ISO/IEC 8653:1995(E) - Taft, S. Tucker; Duff, Robert A. (Lecture notes in computer science ;, 1997)