Introducing to combinators and Calculus. - Hindley,J.R.et al. (C.U.Press)