@inproceedings{Noninterference,
  title = "Non-interference through determinism",
  author = "A. W. Roscoe and J.C.P. Woodcock and L. Wulf",
  year = "1994",
  booktitle = "{Proceedings of ESORICS 94}",
  series = "{LNCS 875}",
  url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/54.pdf",
}