Skolem, T. (1953) “Some considerations concerning recursive functions”, MATHEMATICA SCANDINAVICA, 1, pp. 213–221. doi: 10.7146/math.scand.a-10379.