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