Burge's Language

An unnamed functional language based on lambda-calculus.

Recursive Programming techniques, William H. Burge, Addison-Wesley, 1975.