Danvy, Olivier, og Ulrik P. Schultz. “Lambda-Lifting in Quadratic Time”. BRICS Report Series, bd. 9, nr. 30, juni 2002, doi:10.7146/brics.v9i30.21952.