Title: The Annotated ADA Reference Manual