W. W. Boone and H. ,. J. Rogers, “ Whitehead and a Problem of Alonzo Church”., Math. Scand., vol. 19, pp. 185–192, Jun. 1966.