@book{hindley-seldin:86, author = {Hindley, J. Roger and Seldin, Jonathan P.}, title = {Introduction to Combinators and the lambda-Calculus}, publisher = {Cambridge University Press}, year = {1986} }