The calculi of lambda-conversion - Church, Alonzo, 1903-1995 (Princeton University Press, 1951)