1. Springer Lect;Buchberger,1972
2. and , Simulation-universal automata. Interner Bericht Nr. 14/77, Institut für Informatik I, Universität Karlsruhe 1977.
3. INPUT/OUTPUT CODINGS AND TRANSITION FUNCTIONS IN EFFECTIVE SYSTEMS
4. Graphen total rekursiver Funktionen. Dissertation, Universität Karlsruhe, Fakultät für Informatik 1981.
5. Theory of recursive functions and effective computability. McGraw Hill, New York 1967.