ADA : an introduction - Ledgard, Henry F., 1943- (Springer, 1981)