Behavioral Specification and Analysis of Object-Oriented Designs. - Boumediene Belkhouche; Joel Wu (J. Object Oriented Program., 1999)