EhrigKMP80'

BibTeX

@inproceedings{DBLP:conf/mfcs/EhrigKMP80,
  author    = {Hartmut Ehrig and
               Hans-J{\"o}rg Kreowski and
               Bernd Mahr and
               Peter Padawitz},
  title     = {Compound Algebraic Implementations: An Approach to Stepwise
               Refinement of Software Systems},
  booktitle = {MFCS},
  year      = {1980},
  pages     = {231-245},
  ee        = {http://dx.doi.org/10.1007/BFb0022508},
  crossref  = {DBLP:conf/mfcs/1980},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/mfcs/1980,
  editor    = {Piotr Dembinski},
  title     = {Mathematical Foundations of Computer Science 1980 (MFCS'80),
               Proceedings of the 9th Symposium, Rydzyna, Poland, September
               1-5, 1980},
  booktitle = {MFCS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {88},
  year      = {1980},
  isbn      = {3-540-10027-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}