@inproceedings{inproceedings, title  = {{Liberating data refinement}},

 url = {{}},

 year = {{2000}},

 month = {{1}},

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

 volume = {{1837}},

 journal = {{MATHEMATICS OF PROGRAM CONSTRUCTION}},

 pages = {{144-166}},

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