Cooke89'

@inproceedings{DBLP:conf/seke/Cooke89,
  author    = {Daniel E. Cooke},
  title     = {Proving Properties of Software Design Methods},
  booktitle = {SEKE},
  year      = {1989},
  pages     = {9-12},
  crossref  = {DBLP:conf/seke/1989},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/seke/1989,
  title     = {SEKE'89, Proceedings of the First International Conference
               on Software Engineering and Knowledge Engineering, Skokie,
               USA, June 15-16, 1989},
  booktitle = {SEKE},
  publisher = {Knowledge Systems Institute},
  year      = {1989},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}