@book{HS86,
  author = "Hindley, J. Roger and Seldin, Jonathanp P.",
  title = "{Introduction to Combinators and $\lambda$-Calculus}",
  publisher = "Cambridge University Press",
  isbn = "0521268966",
  year = "1986",
}