PERs generalise projections for strictness analysis (1990)

by S Hunt