ADA. An introduction. ADA reference manual - Ledgard, Henry (Springer Verlag, 1980)