Dong00'

@inproceedings{DBLP:conf/icse/Dong00,
  author    = {Jing Dong},
  title     = {A logical framework for design composition},
  booktitle = {ICSE},
  year      = {2000},
  pages     = {698-700},
  ee        = {http://doi.acm.org/10.1145/337180.337542},
  crossref  = {DBLP:conf/icse/2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/icse/2000,
  editor    = {Carlo Ghezzi and
               Mehdi Jazayeri and
               Alexander L. Wolf},
  title     = {Proceedings of the 22nd International Conference on on Software
               Engineering, ICSE 2000, Limerick Ireland, June 4-11, 2000},
  booktitle = {ICSE},
  publisher = {ACM},
  year      = {2000},
  isbn      = {1-58113-206-9},
  ee        = {http://dl.acm.org/citation.cfm?id=336512},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}