N. D. Jones, “Flow Analysis of Lambda Expressions”, DPB, vol. 10, no. 128, Jan. 1981.