@inproceedings{RoutingMessages,
  title = "Routing messages through networks: an exercise in deadlock avoidance",
  author = "A. W. Roscoe",
  year = "1987",
  address = "Amsterdam",
  booktitle = "{Programming of Transputer Based Machines: Proceedings of 7th occam User Group Technical Meeting}",
  editor = "Muntean et al.",
  publisher = "{IOS B.V.}",
  url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/21.ps",
}