Introduction to combinatory logic. - Cambridge University Press, 1972. - ( London Mathematical Society Lecture Note series ; 7).