@inproceedings{NormalityAssumption,
  title = "{Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption}",
  author = "A. W. Roscoe and Xu Wang and R. S. Lazic",
  year = "2004",
  booktitle = "{Proceedings of IFM 2004}",
  publisher = "{Springer LNCS}",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/99.pdf",
  volume = "2999",
}