T. Skolem, “Some considerations concerning recursive functions”, Math. Scand., vol. 1, pp. 213–221, Dec. 1953, doi: 10.7146/math.scand.a-10379.