author : G. Hossein Bagherzadeh Rafsanjani

Short works

• ZEST. 1992. (In Object Orientation in Z )
• From Object-Z to C++: A Structural Mapping. 1993. (In 7th Z User Workshop )