Nielson, Flemming, and Hanne Riis Nielson. 1993. “Finiteness Conditions for Strictness Analysis”. DAIMI Report Series 22 (447). https://doi.org/10.7146/dpb.v22i447.6764.