+ <!-- 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/combinat.ps -->
+* [Chris Barker's Iota and Jot]() (broken link)<p>