Goldberg, M. “A General Schema for Constructing One-Point Bases in the Lambda Calculus”. BRICS Report Series, vol. 8, no. 35, Sept. 2001, doi:10.7146/brics.v8i35.21695.