Introduction to combinators and -Calculus Hindley, J. Roger [and] Jonathan P. Sedin - USA, Cambridge university press. 1986 - 260p. ISBN: 0-521-31839-4 LC Class. No.: QA 9.5 / .H56 1986