Recursive Functions and Regressive Isols. - Barrack, J. (Mathematica Scandinavica, 1964)