Updated reference notes about "Guide for the use of the Ada programming
language in high integrity systems.