@article{NoninterferenceRevised,
  title = "Non-interference through determinism",
  author = "A. W. Roscoe and J.C.P. Woodcock and L. Wulf",
  year = "1996",
  journal = "{Journal of Computer Security}",
  note = "revised version of above",
  pages = "27--54",
  series = "1",
  url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/55.pdf",
  volume = "4",
}