PlebanL87'

@inproceedings{DBLP:conf/mfps/PlebanL87,
  author    = {Uwe F. Pleban and
               Peter Lee},
  title     = {High-Level Semantics: An Integrated Approach to Programming
               Language Semantics and the Specification of Implementations},
  booktitle = {MFPS},
  year      = {1987},
  pages     = {550-571},
  ee        = {http://dx.doi.org/10.1007/3-540-19020-1_29},
  crossref  = {DBLP:conf/mfps/1987},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/mfps/1987,
  editor    = {Michael G. Main and
               Austin Melton and
               Michael W. Mislove and
               David A. Schmidt},
  title     = {Mathematical Foundations of Programming Language Semantics,
               3rd  Workshop, Tulane University, New Orleans, Louisiana,
               USA, April 8-10, 1987, Proceedings},
  booktitle = {MFPS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {298},
  year      = {1988},
  isbn      = {3-540-19020-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}