Reference manual for the Ada programming language (Springer-Verlag, 1983)