Adrienne Bloss Paul Hudak Variations on Strictness Analysis. 132-142 1986 LISP and Functional Programming db/conf/lfp/lfp1986.html#BlossH86