Boone, W. W.; Rogers, H. ,. J. On a Problem of J.H.C. Whitehead and a Problem of Alonzo Church. Math. Scand. 1966, 19, 185-192.