D. Biernacki og O. Danvy, “From Interpreter to Logic Engine by Defunctionalization”, BRICS, bd. 11, nr. 5, mar. 2004.