Bernhard Goetze Reinhard Klette Some Properties of Limit Recursive Functions. 88-90 1974 conf/mfcs/1974 MFCS db/conf/mfcs/mfcs74.html#GoetzeK74 http://dx.doi.org/10.1007/3-540-07162-8_672