@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/05/29}}}