@inproceedings{VSW02_refinement_RCS02,
  author    = {Vos, T.E.J. and Swierstra, S.D. and Prasetya, I.S.W.B},
  year      = 2002,
  title     = {Yet Another Program Refinement Relation},
  booktitle = {International Workshop on Refinement of Critical Systems: Methods, Tools and Experience},
  url       = {{http://www.esil.univ-mrs.fr/~spc/rcs02/papers/Vos_Swierstra.ps.gz}},
  urlinfo   = {{http://www.esil.univ-mrs.fr/~spc/rcs02/rcs02.html}},
  pubcat    = {workshop},
}