Ada 2012 Reference Manual. Language and Standard Libraries - S. Taft; Brukardt, Randall L.; Duff, Robert A.; Leroy, Pascal; Ploedereder, Erhard; Schonberg, Edmond (Springer Berlin Heidelberg, 2013)