@article{LawsOfOccamProgramming,
  author = "A. W. Roscoe and C.A.R. Hoare",
  journal = "Theoretical Computer Science",
  note = "Previously appeared as Oxford University Computing Laboratory Technical Report PRG-53, 1986.",
  pages = "177--229",
  title = "The laws of occam programming",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/24.pdf",
  volume = "60",
  year = "1988",
}