Nielson, F., & Nielson, H. R. (1993). Finiteness Conditions for Strictness Analysis. DAIMI Report Series, 22(447). https://doi.org/10.7146/dpb.v22i447.6764