ADA An introd. ADA reference manual July 1980 - Ledgard, Henry 1943- (Springer, 1980)