@article{journals/cacm/HoareHJMRSSSS87,
  added-at = {2012-09-23T00:00:00.000+0200},
  author = {Hoare, C. A. R. and Hayes, Ian J. and He, Jifeng and Morgan, Carroll and Roscoe, A. W. and Sanders, Jeff W. and Sørensen, Ib Holm and Spivey, J. Michael and Sufrin, Bernard},
  biburl = {http://www.bibsonomy.org/bibtex/2ebd1d8801693a111ec539990d646187d/dblp},
  ee = {http://doi.acm.org/10.1145/27651.27653},
  interhash = {46f25141e00d5c630ebf6137cbfe3767},
  intrahash = {ebd1d8801693a111ec539990d646187d},
  journal = {Commun. ACM},
  keywords = {dblp},
  note = {Corrigendum: CACM 30(9): 770 (1987)},
  number = 8,
  pages = {672-686},
  timestamp = {2012-09-23T00:00:00.000+0200},
  title = {Laws of Programming.},
  url = {http://dblp.uni-trier.de/db/journals/cacm/cacm30.html#HoareHJMRSSSS87},
  volume = 30,
  year = 1987
}