Palsberg, J., and M. I. Schwartzbach. “Polyvariant Analysis of the Untyped Lambda Calculus”. DAIMI Report Series, vol. 21, no. 386, Feb. 1992, doi:10.7146/dpb.v21i386.6619.