Midtgaard, J. “Control-Flow Analysis of Functional Programs”. BRICS Report Series, vol. 14, no. 18, Dec. 2007, doi:10.7146/brics.v14i18.21936.