Reference Manual for the ADA(R) Programming Language