The calculi of lambda-conversation - Church, Alonzo (Princeton : Princeton University Press, 1941)