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

 url = {{}},

 year = {{2005}},

 month = {{1}},

 author = {{Derrick J and Wehrheim H}},

 volume = {{3455}},

 journal = {{ZB 2005: FORMAL SPECIFICATION AND DEVELOPMENT  IN Z AND B, PROCEEDINGS}},

 pages = {{24-44}},

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