Goldberg, M. A General Schema for Constructing One-Point Bases in the Lambda Calculus. BRICS 2001, 8.