Strictness analysis on non-flat domains (1987)

by Philip Wadler