Ada 2005 Rationale by John Barnes