Ada 2005 reference manual language and standard libraries ; international standard ISO IEC 8652/1995(E) with technical corrigendum 1 and amendment 1 (Springer, 2006)