Nielson, Flemming, and Hanne Riis Nielson. “Finiteness Conditions for Strictness Analysis”. DAIMI Report Series, vol. 22, no. 447, July 1993, doi:10.7146/dpb.v22i447.6764.