- Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg (Lecture Notes in Computer Science)
- Logic and Algebra of Specification
- Automata, Languages and Programming: 12th Colloquium, Nafplion, Greece, July 15-19, 1985. Proceedings
- Automatentheorie
- GI Gesellschaft Fur Informatik E. V.: 3. Jahrestagung Hamburg, 8.-10. Oktober 1973