ADA an introduction - Ledgard, Henry 1943- (Springer, 1983)