1. u. a., 1967: Logik, Automaten, Algorithmen. Akademie-Verlag, Berlin
2. Ein experimenteller Test der Halbgeschwistercovarianz als Parameter zur Vorhersage des genetischen Gewinns
3. 1966: Linear sequential circuits. McGraw-Hill, New York.
4. 1963: Theorie der abstrakten Automaten. Akademie-Verlag, Berlin.