- Combinatorial functors (Ergebnisse der Mathematik und ihrer Grenzgebiete)
- Hybrid Systems II (Lecture Notes in Computer Science)
- Logic for Applications (Texts in Computer Science)
- Logical Foundations of Computer Science--Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992 : Proceedings (Lecture Notes in Computer Science)
- Automata Theory and its Applications (Progress in Computer Science and Applied Logic (PCS))