An Introduction To Lambda Calculi For Computer Scientists by C Hankin