@inproceedings{StructuredNetworks,
  title = "Data independent induction over structured networks",
  author = "A. W. Roscoe and S.J. Creese",
  year = "2000",
  booktitle = "{Proceedings of PDPTA2000}",
  url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/75.ps",
}