BibTeX record conf/gi/EhrigF81

download as .bib file

@inproceedings{DBLP:conf/gi/EhrigF81,
  author    = {Hartmut Ehrig and
               Werner Fey},
  title     = {Methodology for the Specification of Software Systems: From Formal
               Requirements to Algebraic Design Specifications},
  booktitle = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
               European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
               Oktober 1981, Proceedings},
  pages     = {255--269},
  year      = {1981},
  crossref  = {DBLP:conf/gi/1981},
  timestamp = {Tue, 11 Feb 2003 10:40:20 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/gi/EhrigF81},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/gi/1981,
  editor    = {Wilfried Brauer},
  title     = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
               European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
               Oktober 1981, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {50},
  publisher = {Springer},
  year      = {1981},
  isbn      = {3-540-10884-X},
  timestamp = {Tue, 11 Feb 2003 10:40:20 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/gi/1981},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}