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