@inproceedings{inproceedings, title  = {{Refinement of objects and operations in Object-Z}},

 url = {{}},

 year = {{2000}},

 month = {{1}},

 author = {{Derrick J and Boiten E}},

 volume = {{49}},

 journal = {{FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS IV}},

 pages = {{257-277}},

 note = {{Accessed on 2024/12/22}}}