In case anyone else was trying to find it, Erik briefly references:

 

Jeroen Fokker, The Systematic Construction of a One-combinator Basis for Lambda-Terms.
Formal Aspects of Computing 4 (1992), pp. 776-780.

 

http://people.cs.uu.nl/jeroen/article/combinat/index.html