The annotated Ada reference manual annotated (Grebyn, 1994)