BibTeX record conf/stoc/ThatcherWW78

download as .bib file

@inproceedings{DBLP:conf/stoc/ThatcherWW78,
  author    = {James W. Thatcher and
               Eric G. Wagner and
               Jesse B. Wright},
  title     = {Data Type Specification: Parameterization and the Power of Specification
               Techniques},
  booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
               May 1-3, 1978, San Diego, California, {USA}},
  pages     = {119--132},
  year      = {1978},
  crossref  = {DBLP:conf/stoc/STOC10},
  url       = {http://doi.acm.org/10.1145/800133.804340},
  doi       = {10.1145/800133.804340},
  timestamp = {Mon, 17 Oct 2011 17:25:06 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/stoc/ThatcherWW78},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC10,
  editor    = {Richard J. Lipton and
               Walter A. Burkhard and
               Walter J. Savitch and
               Emily P. Friedman and
               Alfred V. Aho},
  title     = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
               May 1-3, 1978, San Diego, California, {USA}},
  publisher = {{ACM}},
  year      = {1978},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/stoc/STOC10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}