Ehrich77'

BibTeX

@inproceedings{DBLP:conf/fct/Ehrich77,
  author    = {Hans-Dieter Ehrich},
  title     = {Algebraic Semantics of Type Definitions and Structured Variables},
  booktitle = {FCT},
  year      = {1977},
  pages     = {84-97},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}