The SKI Combinator Calculus: a universal formal system (1993)
people.cs.uchicago.edu