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