Software engineering with Ada. - Booch, Grady