Turski84'

@inproceedings{DBLP:conf/ispw/Turski84,
  author    = {Wladyslaw M. Turski},
  title     = {Completeness and executability of specifications: Two confusing
               notions},
  booktitle = {ISPW},
  year      = {1984},
  pages     = {155},
  crossref  = {DBLP:conf/ispw/1984},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ispw/1984,
  editor    = {Colin Potts},
  title     = {Proceedings of a Software Process Workshop, February 1984,
               Egham, UK},
  booktitle = {ISPW},
  publisher = {IEEE Computer Society},
  year      = {1984},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}