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.