MurphyCR92'

BibTeX

@inproceedings{DBLP:conf/csfw/MurphyCR92,
  author    = {Sandra Rawlings Murphy and
               Stephen Crocker and
               Timothy Redmond},
  title     = {Unwinding and the LOCK Proof Referees Study},
  booktitle = {CSFW},
  year      = {1992},
  pages     = {9-21},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}