EngelsPE83'

BibTeX

@article{DBLP:journals/acta/EngelsPE83,
  author    = {Gregor Engels and
               Udo Pletat and
               Hans-Dieter Ehrich},
  title     = {An Operational Semantics for Specifications of Abstract
               Data Types with Error Handling},
  journal   = {Acta Inf.},
  volume    = {19},
  year      = {1983},
  pages     = {235-253},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}