Unnamed functional language based on lambda-calculus. Recursive Programming techniques", W.H. Burge, A-W 1975.