Ada 2012 rationale. : the language : the standard libraries - Barnes, John 1931- (Heidelberg : Springer, 2013)