Reference manual for the Ada programming language (Castle House, 1983)