- Combinatorial functors (Ergebnisse der Mathematik und ihrer Grenzgebiete)
- Logic for Applications (Texts in Computer Science)
- Automata Theory and its Applications (Progress in Computer Science and Applied Logic (PCS))
- Automata Theory and Its Applications
- Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, ... 20-28, 1988 (Lecture Notes in Mathematics)