Ada 95 reference manual language and standard libraries ; international standard ISO/IEC 8652:1995(E) (Springer, 1997)