Software engineering with Ada - Booch, Grady