@inproceedings{DBLP:conf/stoc/ODonnell77,
  author    = {Mike O'Donnell},
  title     = {Subtree Replacement Systems: A Unifying Theory for Recursive
               Equations, LISP, Lucid and Combinatory Logic},
  booktitle = {STOC},
  year      = {1977},
  pages     = {295-305},
  ee        = {http://doi.acm.org/10.1145/800105.803419},
  crossref  = {DBLP:conf/stoc/STOC9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/stoc/STOC9,
  editor    = {John E. Hopcroft and
               Emily P. Friedman and
               Michael A. Harrison},
  title     = {Proceedings of the 9th Annual ACM Symposium on Theory of
               Computing, May 4-6, 1977, Boulder, Colorado, USA},
  booktitle = {STOC},
  publisher = {ACM},
  year      = {1977},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}