Refrence manual for the Ada programming language - United States. Department of Defense, Ichbiah; Jean D.