Software engineering with Ada - Booch, Grady 1955- (The Benjamin/Cummings series in ADA and software engineering, 1987)