Finite automata, formal logic, and circuit complexity. - Birkhäuser Verlag, 1994. - (Progress in Theoretical Computer Science).
Algorithms for random generation and counting: a Markov chain approach. - Birkhäuser Verlag, 1993. - (Progress in Theoretical Computer Science).
Verifying temporal properties of systems. - Birkhäuser Verlag, 1992. - (Progress in Theoretical Computer Science).
Semantics of type theory. Correctness, completeness and independence results. - Birkhäuser Verlag, 1991. - (Progress in Theoretical Computer Science).
Logic of domains. - Birkhäuser Verlag, 1991. - (Progress in Theoretical Computer Science).