Elements of combinatory logic / - Fitch, Frederic B. (Yale University Press, 1974)