Mario Coppo Alberto Ferrari Type Inference, Abstract Interpretation and Strictness Analysis. 113-143 1993 121 Theor. Comput. Sci. 1&2 db/journals/tcs/tcs121.html#CoppoF93