An Approach to Object-Oriented Specification Using Z. - Peter John Whysall; John Alexander McDermid (Z User Workshop, 1990)

Object oriented specification and refinement. - Peter John Whysall (1991)

Z Expression of Refinable Objects. - Peter John Whysall (Object Orientation in Z, 1992)