@article{Hoare87m,
  title = "The Laws of Programming",
  author = "C.A.R. Hoare and I.J. Hayes and He Jifeng and C.C. Morgan and A.W. Roscoe and J.W. Sanders and I.H. S\o rensen and J.M. Spivey and B.A. Sufrin",
  year = "1987",
  journal = "Communications of the ACM",
  month = "August",
  note = "see Corrigenda in Communications of the ACM, 30(9): 770",
  number = "8",
  pages = "672--687",
  volume = "30",
}