Elements of combinatory logic - Fitch, Frederic B. 1908-1987 (Yale Univ. Pr., 1974)