Data Refinement Refined.

Jifeng He, C. A. R. Hoare, Jeff W. Sanders

Browse the full ESOP paper archive.