Software engineering with Ada - Booch, Grady (The Benjamin/Cummings series in object-oriented software engineering, 1994)