@inproceedings{Finitaryrefinementchecks,
  title = "Finitary refinement checks for infinitary specifications",
  author = "A. W. Roscoe",
  year = "2004",
  booktitle = "{Proceedings of CPA 2004}",
  month = "June",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/96.pdf",
}