Boone, W. W., and H. ,. J. Rogers. “ Whitehead and a Problem of Alonzo Church”. MATHEMATICA SCANDINAVICA, vol. 19, June 1966, pp. 185-92, doi:10.7146/math.scand.a-10808.