Towards a Calculus of Data Refinement.

Wei Chen, Jan Tijmen Udding

Browse the full MPC paper archive.