Boone, W. W., & Rogers, H. ,. J. (1966). On a Problem of J.H.C. Whitehead and a Problem of Alonzo Church. MATHEMATICA SCANDINAVICA, 19, 185–192. https://doi.org/10.7146/math.scand.a-10808