ADA a first introduction - Ledgard, Henry 1943- (Springer, 1986)