Ada 2012 reference manual : language and standard libraries : International Standard ISO/IEC 8652/2012 (E) (Lecture Notes in Computer Science / editorial board David Hutchison [y otros catorce], 2012)