Introduction to Combinatory Logic (1972)

by J Hindley, B Lercher, J Seldin
Venue:London Mathematical Society Lecture Notes Series 7