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

G.-H. Bagherzadeh Rafsanjani, S. J. Colwill (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics