DBLP Record 'journals/cacm/HoareHJMRSSSS87'

BibTeX

@article{DBLP:journals/cacm/HoareHJMRSSSS87,
  author    = {C. A. R. Hoare and
               Ian J. Hayes and
               Jifeng He and
               Carroll Morgan and
               A. W. Roscoe and
               Jeff W. Sanders and
               Ib Holm S{\o}rensen and
               J. Michael Spivey and
               Bernard Sufrin},
  title     = {Laws of Programming},
  journal   = {Commun. ACM},
  volume    = {30},
  number    = {8},
  year      = {1987},
  pages     = {672-686},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}