@inproceedings{TransformingOccamPrograms,
  author = "A. W. Roscoe and M.H. Goldsmith",
  booktitle = "{The Design and Application of Parallel Digital Processors}",
  number = "298",
  series = "{IEE Conference Publication}",
  title = "Transforming occam programs",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/22.pdf",
  year = "1988",
}