@inproceedings{inproceedings, title  = {{Consistency and Refinement for Partial Specification in Z.}},

 publisher = {{Springer}},

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

 year = {{2005}},

 month = {{6}},

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

 volume = {{1051}},

 journal = {{FME}},

 pages = {{287-306}},

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