Boone, W. W., and H. ,. Jr. Rogers. “On a Problem of J.H.C. Whitehead and a Problem of Alonzo Church”. Mathematica Scandinavica, vol. 19, June 1966, pp. 185-92, https://doi.org/10.7146/math.scand.a-10808.