@inproceedings{inproceedings, title  = {{Recent advances in refinement}},

 url = {{}},

 year = {{2003}},

 month = {{1}},

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

 volume = {{2589}},

 journal = {{ABSTRACT STATE MACHINES 2003: ADVANCES IN THEORY AND PRACTICE, PROCEEDINGS}},

 pages = {{33-56}},

 note = {{Accessed on 2025/01/13}}}