On a Problem of J.H.C. Whitehead and a Problem of Alonzo Church. - Boone, W. W.; Rogers, H. ,. Jr. (Mathematica Scandinavica, 1966)