Jones, N. D. Flow Analysis of Lambda Expressions. DPB 1981, 10.