An Introduction To Lambada Calculi For Computer Scientists by C. Hankin