Schulz, Holger: Recursion and subrecursion over finite and infinite words with applications to computable real valued functionsRekursion und Subrekursion über endlichen und unendlichen Wörtern mit Anwendungen auf berechenbare reellwertige Funktionen. 2006