A Modular Structural Operational Semantics for Delimited Continuations
  It has been an open question as to whether the Modular Structural Operational Semantics framework can express the dynamic semantics of call/cc. This paper shows that it can, and furthermore, demonstrates that it can express the more general delimited control operators control and shift. 
Neil Sculthorpe, Paolo Torrini, Peter D. Mosses
cs.PL