O. Danvy og L. R. Nielsen, “A Higher-Order Colon Translation”, BRICS, bd. 7, nr. 33, jun. 2000.