F. Nielson and H. R. Nielson, “Finiteness Conditions for Strictness Analysis”, DPB, vol. 22, no. 447, Jul. 1993.