From Object-Z to C++: A Structural Mapping

@inproceedings{Rafsanjani1992FromOT,
  title={From Object-Z to C++: A Structural Mapping},
  author={G.-H. Bagherzadeh Rafsanjani and S. J. Colwill},
  booktitle={Z User Workshop},
  year={1992}
}