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