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