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