@inproceedings{inproceedings, title  = {{Weak Refinement in Z.}},

 publisher = {{Springer}},

 url = {{https://doi.org/10.1007/BFb0027279 }},

 year = {{2005}},

 month = {{6}},

 author = {{Derrick J and Boiten EA and Bowman H and Steen M}},

 volume = {{1212}},

 journal = {{ZUM}},

 pages = {{369-388}},

 note = {{Accessed on 2025/11/27}}}