- Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg (Lecture Notes in Computer Science)
- Logic and Algebra of Specification
- Studien- Und Forschungsfuhrer Informatik: Wissenschaftliche Hochschulen Und Forschungseinrichtungen
- Automata, Languages and Programming: 12th Colloquium, Nafplion, Greece, July 15-19, 1985. Proceedings
- Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986: Part 2: Petri Nets: Applications and Relationships to Other Models of Concurrency