@inproceedings{inproceedings, title  = {{Non-atomic refinement in Z}},

 url = {{}},

 year = {{1999}},

 month = {{9}},

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

 volume = {{1709}},

 journal = {{FM'99-FORMAL METHODS, VOL II}},

 pages = {{1477-1496}},

 note = {{Accessed on 2024/10/23}}}