ADA - Ledgard, Henry (Springer, 1983)