A modular structural operational semantics for delimited continuations - Peter Mosses (2015 Workshop on Continuations, 2016)