Environmental Bisimulations for Delimited-Control Operators
Long version of the corresponding APLAS13 paper