Palsberg, J.; Schwartzbach, M. I. Polyvariant Analysis of the Untyped Lambda Calculus. DPB 1992, 21.