@conference{murray09-avocs08,
  title = "On Refinement-Closed Security Properties and Nondeterministic Compositions",
  author = "Toby Murray and Gavin Lowe",
  year = "2009",
  booktitle = "Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems (AVoCS '08)",
  number = "2",
  pages = "49-68",
  series = "Electronic Notes in Theoretical Computer Science",
  volume = "250",
  doi = "10.1016/j.entcs.2009.08.017",
}