DBLP Record 'conf/adt/Lehmann90'

BibTeX

@inproceedings{DBLP:conf/adt/Lehmann90,
  author    = {Thomas Lehmann},
  title     = {A Notion of Implementation for the Specification Language
               OBSCURE},
  booktitle = {ADT},
  year      = {1990},
  pages     = {141-165},
  crossref  = {DBLP:conf/adt/1990},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/adt/1990,
  editor    = {Hartmut Ehrig and
               Klaus P. Jantke and
               Fernando Orejas and
               Horst Reichel},
  title     = {Recent Trends in Data Type Specification, Proceedings 7th
               Workshop on Abstract Data Types, Wusterhausen, Dosse, Germany,
               April 17-20, 1990},
  booktitle = {ADT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {534},
  year      = {1991},
  isbn      = {3-540-54496-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}