Ada 2005 rationale : the language, the standard libraries - Barnes, John Gilbert Presslie 1937- (Springer, 2008)