Yet Another Program Re nement Relation ( extended abstra t )

@inproceedings{Vos2002YetAP,
  title={Yet Another Program Re nement Relation ( extended abstra t )},
  author={Tanja E. J. Vos and S. D.StellaSylva and SwierstrayJanuary},
  year={2002}
}