Invitation to ADA and the ADA Reference Manual