O. Danvy and K. Millikin, “A Rational Deconstruction of Landin’s J Operator”, BRICS, vol. 13, no. 4, Feb. 2006.