Karl-Heinz Niggl Subrecursive functions on partial sequences. 163-193 1999 38 Arch. Math. Log. 3 http://dx.doi.org/10.1007/s001530050122 db/journals/aml/aml38.html#Niggl99