Introduction to Combinatory Logic (1972)

by J R Hindley, B Lercher, J P Seldin
Venue:London Math. Sot. Lecture Note No