Ihe Calculi of Lambda-Conversion, Annals of Mathematics studies (1941)

by til Church, Alonzo