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