(1)
Danvy, O.; Millikin, K. A Rational Deconstruction of Landin’s J Operator. BRICS 2006, 13.