@article(Abelson:Scheme:98,
 author       = {H. Abelson and R. K. Dybvig and C. T. Haynes and G. J. Rozas and {Adams IV}, N. I. and D. P. Friedman and E. Kohlbecker and {Steele Jr.}, G. L. and D. H. Bartley and R. Halstead and D. Oxley and G. J. Sussman and G. Brooks and C. Hanson and K. M. Pitman and M. Wand},
 year         = {1998},
 title        = {Revised$^5$ Report on the Algorithmic Language {S}cheme},
 journal      = {Higher-Order and Symbolic Computation},
 volume       = {11},
 number       = {1},
 pages        = {7--105},
 doi          = {10.1023/A:1010051815785},
)
@incollection(Asai:07:PolyDelimitedCont,
 author       = {Kenichi Asai and Yukiyoshi Kameyama},
 year         = {2007},
 title        = {Polymorphic Delimited Continuations},
 booktitle    = {Asian Symposium on Programming Languages and Systems},
 series       = {Lecture Notes in Computer Science},
 volume       = {4807},
 publisher    = {Springer},
 pages        = {239--254},
 doi          = {10.1007/978-3-540-76637-7\_16},
)
@incollection(Astesiano:91:OpSem,
 author       = {Egidio Astesiano},
 year         = {1991},
 title        = {Inductive and Operational Semantics},
 booktitle    = {Formal Description of Programming Concepts},
 series       = {{IFIP} State-of-the-Art Reports},
 publisher    = {Springer},
 pages        = {51--136},
 note         = {ISBN 978-3-540-53961-2},
)
@article(Biernacka:05:DelimitedCPS,
 author       = {Malgorzata Biernacka and Dariusz Biernacki and Olivier Danvy},
 year         = {2005},
 title        = {An Operational Foundation for Delimited Continuations in the {CPS} Hierarchy},
 journal      = {Logical Methods in Computer Science},
 volume       = {1},
 number       = {2},
 pages        = {1--39},
 doi          = {10.2168/LMCS-1(2:5)2005},
)
@article(Biernacki:06:Folklore,
 author       = {Dariusz Biernacki and Olivier Danvy},
 year         = {2006},
 title        = {A Simple Proof of a Folklore Theorem about Delimited Control},
 journal      = {Journal of Functional Programming},
 volume       = {16},
 number       = {3},
 pages        = {269--280},
 doi          = {10.1017/S0956796805005782},
)
@article(Biernacki:06:StaticDynamicExtent,
 author       = {Dariusz Biernacki and Olivier Danvy and {Chung-chieh} Shan},
 year         = {2006},
 title        = {On the Static and Dynamic Extents of Delimited Continuations},
 journal      = {Science of Computer Programming},
 volume       = {60},
 number       = {3},
 pages        = {274--297},
 doi          = {10.1016/j.scico.2006.01.002},
)
@incollection(Churchill:13:Bisimulation,
 author       = {Martin Churchill and Peter D. Mosses},
 year         = {2013},
 title        = {Modular Bisimulation Theory for Computations and Values},
 booktitle    = {International Conference on Foundations of Software Science and Computation Structures},
 series       = {Lecture Notes in Computer Science},
 volume       = {7794},
 publisher    = {Springer},
 pages        = {97--112},
 doi          = {10.1007/978-3-642-37075-5\_7},
)
@incollection(Churchill:15:ReusableComponents,
 author       = {Martin Churchill and Peter D. Mosses and Neil Sculthorpe and Paolo Torrini},
 year         = {2015},
 title        = {Reusable Components of Semantic Specifications},
 booktitle    = {Transactions on Aspect-Oriented Software Development XII},
 series       = {Lecture Notes in Computer Science},
 volume       = {8989},
 publisher    = {Springer},
 pages        = {132--179},
 doi          = {10.1007/978-3-662-46734-3\_4},
)
@article(Clinger:87:SchemeContinuations,
 author       = {William Clinger},
 year         = {1987},
 title        = {The {S}cheme Environment: {C}ontinuations},
 journal      = {{SIGPLAN} Lisp Pointers},
 volume       = {1},
 number       = {2},
 pages        = {22--28},
 doi          = {10.1145/1317193.1317197},
)
@phdthesis(Danvy:06:AnalyticalApproach,
 author       = {Olivier Danvy},
 year         = {2006},
 title        = {An Analytical Approach to Programs as Data Objects},
 type         = {{DSc} thesis},
 school       = {Department of Computer Science, Aarhus University},
 url          = {http://cs.au.dk/~danvy/DSc/},
)
@inproceedings(Danvy:08:Defunctionalized,
 author       = {Olivier Danvy},
 year         = {2008},
 title        = {Defunctionalized Interpreters for Programming Languages},
 booktitle    = {International Conference on Functional Programming},
 publisher    = {ACM},
 pages        = {131--142},
 doi          = {10.1145/1411204.1411206},
)
@techreport(Danvy:89:TypedContexts,
 author       = {Olivier Danvy and Andrzej Filinski},
 year         = {1989},
 title        = {A Functional Abstraction of Typed Contexts},
 type         = {Technical Report},
 number       = {89/12},
 institution  = {DIKU, University of Copenhagen},
 url          = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.43.4822},
)
@inproceedings(Danvy:90:AbstractingControl,
 author       = {Olivier Danvy and Andrzej Filinski},
 year         = {1990},
 title        = {Abstracting Control},
 booktitle    = {Conference on LISP and Functional Programming},
 publisher    = {ACM},
 pages        = {151--160},
 doi          = {10.1145/91556.91622},
)
@article(Danvy:92:RepresentingControl,
 author       = {Olivier Danvy and Andrzej Filinski},
 year         = {1992},
 title        = {Representing Control: {A} Study of the {CPS} Transformation},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {2},
 number       = {4},
 pages        = {361--391},
 doi          = {10.1017/S0960129500001535},
)
@incollection(Danvy:99:CPSHeirarchy,
 author       = {Olivier Danvy and Zhe Yang},
 year         = {1999},
 title        = {An Operational Investigation of the {CPS} Hierarchy},
 booktitle    = {European Symposium on Programming Languages and Systems},
 series       = {Lecture Notes in Computer Science},
 volume       = {1576},
 publisher    = {Springer},
 pages        = {224--242},
 doi          = {10.1007/3-540-49099-X\_15},
)
@article(Dyvbig:07:MonadicDelimited,
 author       = {R. Kent Dyvbig and {Peyton Jones}, Simon and Amr Sabry},
 year         = {2007},
 title        = {A Monadic Framework for Delimited Continuations},
 journal      = {Journal of Functional Programming},
 volume       = {17},
 number       = {6},
 pages        = {687--730},
 doi          = {10.1017/S0956796807006259},
)
@book(Felleisen:09:PLT-Redex,
 author       = {Matthias Felleisen and Robert Bruce Findler and Matthew Flatt},
 year         = {2009},
 title        = {Semantics Engineering with {PLT} {R}edex},
 publisher    = {MIT Press},
 note         = {ISBN 9780262062756},
)
@inproceedings(Felleisen:88:AbstractContinuations,
 author       = {Matthias Felleisen and Mitch Wand and Daniel Friedman and Bruce Duba},
 year         = {1988},
 title        = {Abstract Continuations: {A} Mathematical Semantics for Handling Full Jumps},
 booktitle    = {Conference on {LISP} and Functional Programming},
 publisher    = {ACM},
 pages        = {52--62},
 doi          = {10.1145/62678.62684},
)
@inproceedings(Felleisen:88:FirstClassPrompts,
 author       = {Mattias Felleisen},
 year         = {1988},
 title        = {The Theory and Practice of First-Class Prompts},
 booktitle    = {Symposium on Principles of Programming Languages},
 publisher    = {ACM},
 pages        = {180--190},
 doi          = {10.1145/73560.73576},
)
@inproceedings(Filinski:94:RepresentingMonads,
 author       = {Andrzej Filinski},
 year         = {1994},
 title        = {Representing Monads},
 booktitle    = {Symposium on Principles of Programming Languages},
 publisher    = {ACM},
 pages        = {446--457},
 doi          = {10.1145/174675.178047},
)
@inproceedings(Gasbichler:02:FinalShift,
 author       = {Martin Gasbichler and Michael Sperber},
 year         = {2002},
 title        = {Final Shift for Call/cc: Direct Implementation of Shift and Reset},
 booktitle    = {International Conference on Functional Programming},
 publisher    = {ACM},
 pages        = {271--282},
 doi          = {10.1145/581478.581504},
)
@inproceedings(Gunter:95:GeneralisationOfControlInML,
 author       = {Carl A. Gunter and Didier R{\'e}my and Jon G. Riecke},
 year         = {1995},
 title        = {A Generalization of Exceptions and Control in {ML}-like Languages},
 booktitle    = {International Conference on Functional Programming Languages and Computer Architecture},
 publisher    = {ACM},
 pages        = {12--23},
 doi          = {10.1145/224164.224173},
)
@inproceedings(Kameyama:03:Axiomization,
 author       = {Yukiyoshi Kameyama and Masahito Hasegawa},
 year         = {2003},
 title        = {A Sound and Complete Axiomatization of Delimited Continuations},
 booktitle    = {International Conference on Functional Programming},
 publisher    = {ACM},
 pages        = {177--188},
 doi          = {10.1145/944705.944722},
)
@incollection(Kameyama:08:TypedPromptControl,
 author       = {Yukiyoshi Kameyama and Takuo Yonezawa},
 year         = {2008},
 title        = {Typed Dynamic Control Operators for Delimited Continuations},
 booktitle    = {International Symposium on Functional and Logic Programming},
 series       = {Lecture Notes in Computer Science},
 volume       = {4989},
 publisher    = {Springer},
 pages        = {239--254},
 doi          = {10.1007/978-3-540-78969-7\_18},
)
@incollection(Mosses:02:PragmaticMSOS,
 author       = {Peter D. Mosses},
 year         = {2002},
 title        = {Pragmatics of Modular {SOS}},
 booktitle    = {International Conference on Algebraic Methodology and Software Technology},
 series       = {Lecture Notes in Computer Science},
 volume       = {2422},
 publisher    = {Springer},
 pages        = {21--40},
 doi          = {10.1007/3-540-45719-4\_3},
)
@article(Mosses:04:MSOS,
 author       = {Peter D. Mosses},
 year         = {2004},
 title        = {Modular Structural Operational Semantics},
 journal      = {Journal of Logic and Algebraic Programming},
 volume       = {60--61},
 pages        = {195--228},
 doi          = {10.1016/j.jlap.2004.03.008},
)
@incollection(Mosses:09:IMSOS,
 author       = {Peter D. Mosses and Mark J. New},
 year         = {2009},
 title        = {Implicit Propagation in Structural Operational Semantics},
 booktitle    = {Workshop on Structural Operational Semantics},
 series       = {Electronic Notes in Theoretical Computer Science},
 volume       = {229(4)},
 publisher    = {Elsevier},
 pages        = {49--66},
 doi          = {10.1016/j.entcs.2009.07.073},
)
@inproceedings(Mosses:14:FunKons,
 author       = {Peter D. Mosses and Ferdinand Vesely},
 year         = {2014},
 title        = {{FunKons}: {C}omponent-Based Semantics in {K}},
 booktitle    = {International Workshop on Rewriting Logic and Its Applications},
 series       = {Lecture Notes in Computer Science},
 volume       = {8663},
 publisher    = {Springer},
 pages        = {213--229},
 doi          = {10.1007/978-3-319-12904-4\_12},
)
@article(Plotkin:81:SOS,
 author       = {Gordon D. Plotkin},
 year         = {2004},
 title        = {A Structural Approach to Operational Semantics},
 journal      = {Journal of Logic and Algebraic Programming},
 volume       = {60--61},
 pages        = {17--139},
 doi          = {10.1016/j.jlap.2004.05.001},
 note         = {Reprint of Technical Report FN-19, DAIMI, Aarhus University, 1981},
)
@article(Rosu:10:KFramework,
 author       = {Ro{\c s}u, Grigore and {\c S}erb{\u a}nu{\c t}{\u a}, Traian Florin},
 year         = {2010},
 title        = {An Overview of the {K} Semantic Framework},
 journal      = {Journal of Logic and Algebraic Programming},
 volume       = {79},
 number       = {6},
 pages        = {397--434},
 doi          = {10.1016/j.jlap.2010.03.012},
)
@article(Sabry:93:ReasoningAboutCPS,
 author       = {Amr Sabry and Matthias Felleisen},
 year         = {1993},
 title        = {Reasoning About Programs in Continuation-passing Style},
 journal      = {{LISP} and Symbolic Computation},
 volume       = {6},
 number       = {3--4},
 pages        = {289--360},
 doi          = {10.1007/BF01019462},
)
@misc(AdditionalMaterial,
 author       = {Neil Sculthorpe and Paolo Torrini and Peter D. Mosses},
 year         = {2016},
 title        = {A Modular Structural Operational Semantics for Delimited Continuations: Additional Material},
 url          = {http://www.plancomps.org/woc2016},
)
@article(Shan:07:StaticSimulation,
 author       = {{Chung-chieh} Shan},
 year         = {2007},
 title        = {A Static Simulation of Dynamic Delimited Control},
 journal      = {Higher-Order and Symbolic Computation},
 volume       = {20},
 number       = {4},
 pages        = {371--401},
 doi          = {10.1007/s10990-007-9010-4},
)
@article(Sitaram:90:ControlDelimitersHierarchies,
 author       = {Dorai Sitaram and Matthias Felleisen},
 year         = {1990},
 title        = {Control Delimiters and their Hierarchies},
 journal      = {{LISP} and Symbolic Computation},
 volume       = {3},
 number       = {1},
 pages        = {67--99},
 doi          = {10.1007/BF01806126},
)