DBLP Record 'conf/adt/NivelaO87'

BibTeX

@inproceedings{DBLP:conf/adt/NivelaO87,
  author    = {Pilar Nivela and
               Fernando Orejas},
  title     = {Initial Behaviour Semantics for Algebraic Specifications},
  booktitle = {ADT},
  year      = {1987},
  pages     = {184-207},
  crossref  = {DBLP:conf/adt/1987},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/adt/1987,
  editor    = {Donald Sannella and
               Andrzej Tarlecki},
  title     = {Recent Trends in Data Type Specification, 5th Workshop on
               Abstract Data Types, Gullane, Scotland, September 1-4, 1987,
               Selected Papers},
  booktitle = {ADT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {332},
  year      = {1987},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}