The Programming Language Ada. Reference Manual: American National Standards Institute, Inc. ANSI/ Mil-std-1815a-1983, Approved 17 February 1983 (Lecture Notes in Computer Science, 155)