@InProceedings{Roscoe87,
  title =        "{R}outing messages through networks: {A}n exerecise in deadlock avoidance",
  author=        "Roscoe,  A. W.",
  editor=        "Muntean,  Traian",
  pages =        "55--79",
  booktitle=     "{OUG}-7: {P}arallel {P}rogramming of {T}ransputer {B}ased {M}achines",
  isbn=          "90 5199 0073",
  year=          "1987",
  month=         "sep",
}