JouvelotG89'

BibTeX

@inproceedings{DBLP:conf/pldi/JouvelotG89,
  author    = {Pierre Jouvelot and
               David K. Gifford},
  title     = {Reasoning about Continuations with Control Effects},
  booktitle = {PLDI},
  year      = {1989},
  pages     = {218-226},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}