@inproceedings{AutomatingDataIndependence,
  title = "Automating Data Independence",
  author = "A. W. Roscoe and P.J. Broadfoot and G. Lowe",
  year = "2000",
  booktitle = "{Proceedings of ESORICS2000}",
  publisher = "LNCS",
  url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/76.pdf",
  volume = "1895",
}