@article{ExpressivePower,
  title = "{On the expressive power of CSP refinement}",
  author = "A. W. Roscoe",
  year = "2003",
  journal = "{Formal Aspects of Computing}",
  note = "{Preliminary version in Proceedings of AVoCS03, Southampton University Technical Report, April 2003}",
  pages = "93--112",
  series = "2",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/89.ps",
  volume = "17",
}