An Approach to Object-Oriented Specification Using Z.

Peter J. Whysall John A. McDermid An Approach to Object-Oriented Specification Using Z. 193-215 1990 conf/zum/1990 Z User Workshop db/conf/zum/zum1990.html#WhysallM90