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