Strictness analysis of lazy functional programs. - Peter Nicholas Benton (1992)