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