Practical Data Refinement for the Z Schema Calculus

@inproceedings{Groves2005PracticalDR,
  title={Practical Data Refinement for the Z Schema Calculus},
  author={Lindsay Groves},
  booktitle={ZB},
  year={2005}
}