Lambda-Calculus and Combinators An Introduction - Hiudley J.Roger (UK CUP, 2008)