Basic verifiability in the combinatory theory of restricted generality - Curry, Haskell B. (Magnes, 1961)