Church Alonzo. The calculi of lambda-conversion . Annals of Mathematics studies, no. 6. Lithoprinted. Princeton University Press, Princeton 1941, 77 pp.