Uniform Ideals and Strictness Analysis. - Christine Ernoult; Alan Mycroft (ICALP, 1991)

Untyped Strictness Analysis. - Christine Ernoult; Alan Mycroft (J. Funct. Program., 1995)