Ada 2005 Rationale : the language : the standard libraries - Barnes, J. G. P. 1937- (Lecture notes in computer science ;, 2008)