Ada 95 reference manual : language and standard libraries : international standard ISO/IEC 8653:1995(E) - Taft, S. Tucker (Springer, 1997)