Ada 2012 Reference Manual. Language and Standard Libraries - Taft (Springer Berlin Heidelberg, 2013)