Zena M. Ariola, Hugo Herbelin, Amr Sabry: A type-theoretic foundation of delimited continuations. High. Order Symb. Comput. 22(3): 233-273 (2009)