Refinement and the Z schema calculus

@article{Groves2002RefinementAT,
  title={Refinement and the Z schema calculus},
  author={Lindsay Groves},
  journal={Electr. Notes Theor. Comput. Sci.},
  year={2002},
  volume={70},
  pages={70-93}
}
BETA