Ada 2012 reference manual : language and standard libraries : International Standard ISO/IEC 8652/2012 (E) (Springer, 2012)