@inproceedings{Yang-Reddy-refinement,
  title = "On the Semantics of Refinement Calculi",
  author = "Hongseok Yang and Uday S. Reddy",
  year = "2000",
  booktitle = "Proceedings of the 3rd Conference on Foundations of Software Science and Computation Structures",
  isbn = "3-540-67257-5",
  month = "April",
  organization = "Springer-Verlag",
  pages = "359--374",
  series = "Lecture Notes in Computer Science",
  url = "http://www.cs.ox.ac.uk/people/hongseok.yang/paper/mulrefinement.ps",
  volume = "1784",
}