Skolem T. Some considerations concerning recursive functions. Math. Scand. 1953;1:213-221. doi:10.7146/math.scand.a-10379