Nielson, F.; Nielson, H. R. Finiteness Conditions for Strictness Analysis. DPB 1993, 22.