1. Primitive recursive word-functions of one variable. In: Computation Theory and Logic (E. Börger, ed.), Springer Lecture Notes in Computer Science 270(1987), pp. 14–19.
2. Algorithmen und rekursive Funktionen. Akademie-Verlag, Berlin 1974.
3. Primitive recursive functions