J. Palsberg and M. I. Schwartzbach, “Polyvariant Analysis of the Untyped Lambda Calculus”, DPB, vol. 21, no. 386, Feb. 1992.