Software engineering with Ada - Booch, Grady. (Benjamin/Cummings series in computing and information sciences, 1983)