Lavalette93'

BibTeX

@inproceedings{DBLP:conf/sosl/Lavalette93,
  author    = {Gerard R. Renardel de Lavalette},
  title     = {The Static Part of the Design Language COLD-K},
  booktitle = {Semantics of Specification Languages},
  year      = {1993},
  pages     = {51-82},
  crossref  = {DBLP:conf/sosl/1993},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/sosl/1993,
  editor    = {D. J. Andrews and
               Jan Friso Groote and
               C. A. Middelburg},
  title     = {Semantics of Specification Languages (SoSL), Proceedings
               of the International Workshop on Semantics of Specification
               Languages, Utrecht, The Netherlands, 25-27 October 1993},
  booktitle = {Semantics of Specification Languages},
  publisher = {Springer},
  series    = {Workshops in Computing},
  year      = {1994},
  isbn      = {3-540-19854-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}