@inproceedings{1978-Bergstra-ProcSem,
  author                = "Bergstra, J.A. and Weide, Th.P. van der",
  title                 = "{ Process Semantics of Algebraic Datatypes}",
  booktitle             = "{Colloquia Mathematica Societatis János Bolyai 26}",
  publisher             = "Mathematical Logic in Computer Science",
  address               = "Salgótarján, Hungary,",
  year                  = "1978",
  class                 = "Conference"
}