N. D. Jones, “Flow Analysis of Lambda Expressions”, DPB, bd. 10, nr. 128, jan. 1981.