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