Introduction to combinators and-calculus - Hindley, J Roger . (Cambridge : Cambridge University Press, 1986)
Includes bibliogralphy
Keywords: MATHEMATICS