Ada: an introduction : ADA reference manual july 1980 - Ledgard, Henry (Springer Verlag, 1981)