J. Midtgaard, “Control-Flow Analysis of Functional Programs”, BRICS, vol. 14, no. 18, Dec. 2007.