From Object-Z to C++: A Structural Mapping. - G.-H. Bagherzadeh Rafsanjani; S. J. Colwill (Z User Workshop, 1992)