Inheritance Relationships for Disciplined Software Construction, Distinguished Dissertations (Springer-Verlag).