Kenichi Asai: Logical relations for call-by-value delimited continuations. Trends in Functional Programming 2005: 63-78