M. Goldberg, “A General Schema for Constructing One-Point Bases in the Lambda Calculus”, BRICS, vol. 8, no. 35, Sep. 2001.