T. Skolem, “Some considerations concerning recursive functions”, Math. Scand., vol. 1, pp. 213–221, Dec. 1953.