Chris D. Clack Simon L. Peyton Jones Strictness Analysis - A Practical Approach. 35-49 1985 FPCA db/conf/fpca/fpca85.html#ClackJ85