TY  - CONF

T1  - Liberating data refinement

JO  - MATHEMATICS OF PROGRAM CONSTRUCTION

PY  - 2000/01/01

AU  - Boiten E

AU  - Derrick J

ED  - Backhouse R

ED  - Oliveira JN

VL  - 1837

SP  - 144

EP  - 166

Y2  - 2024/12/22

ER  -