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