"Higher-Order Strictness Analysis in Untyped Lambda Calculus."

Paul Hudak, Jonathan Young (1986)
a service of Schloss Dagstuhl - Leibniz Center for Informatics