1. Analysis of Sequential Machines
2. und , Homomorphismen und Reduktionen linearer Sprachen. Lecture Notes in Operations Res. and Math. Syst., Berlin Heidelberg-New York 1970.
3. und , Endliche Automaten II. B I – Hochschulskripten 704, Mannheim-Wien-Zürich 1970.
4. Zur Theorie und Anwendung endlicher Minimalüberdeckungen. Dissertation TU Hannover 1970.
5. Übertragung universeller und spezieller Probleme in F – Morphismen-darstellung. Dissertation TU Berlin 1971.