@article{LawsOfProgramming,
  title = "Laws of programming",
  author = "A. W. Roscoe and C.A.R. Hoare and He Jifeng and I.J. Hayes and C.C. Morgan and J.W. Sanders and I.H. Sorensen and J.M. Spivey and B.A. Sufrin",
  year = "1987",
  journal = "{Communications of the ACM}",
  month = "August",
  note = "Previously appeared as Oxford University Computing Laboratory Technical Report PRG-42.",
  number = "8",
  pages = "672--686",
  url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/20.pdf",
  volume = "30",
}