@inproceedings{inproceedings, title  = {{Guards, Preconditions, and Refinement in Z.}},

 publisher = {{Springer}},

 url = {{https://doi.org/10.1007/3-540-44525-0 }},

 year = {{2000}},

 month = {{1}},

 author = {{Miarka R and Boiten EA and Derrick J}},

 volume = {{1878}},

 journal = {{ZB}},

 pages = {{286-303}},

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