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