"Flow Analysis of Lambda Expressions (Preliminary Version)."

Neil D. Jones (1981)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics