@proceedings{DBLP:conf/am/1987,
  editor    = {Martin Wirsing and
               Jan A. Bergstra},
  title     = {Algebraic Methods: Theory, Tools and Applications [papers
               from a workshop in Passau, Germany, June 9-11, 1987]},
  booktitle = {Algebraic Methods},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {394},
  year      = {1989},
  isbn      = {3-540-51698-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}