- DNA Computing: New Computing Paradigms (Texts in Theoretical Computer Science. An EATCS Series)
- Handbook of Formal Languages: Volume 3. Beyond Words
- 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
- Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986: Part 1: Petri Nets: Central Models and Their Properties
- Lectures on Embedded Systems: European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996


















