String-rewriting systems. - Springer Verlag, 1993. - (Texts and Monographs in Computer Science).
The design and analysis of algorithms. - Springer Verlag, 1992. - (Texts and Monographs in Computer Science).
Mathematical foundations of computer science. Volume I: Sets, relations, and induction. - Springer Verlag, 1990. - (Texts and Monographs in Computer Science).
Algebraic approaches to program semantics. - Springer Verlag, 1986. - (Texts and Monographs in Computer Science).
Computational geometry: an introduction. - Springer Verlag, 1985. - (Texts and Monographs in Computer Science).
Algorithmic language and program development. - Springer Verlag, 1982. - (Texts and Monographs in Computer Science).
A programming approach to computability. - Springer Verlag, 1982. - (Texts and Monographs in Computer Science).
A basis for theoretical computer science. - Springer Verlag, 1981. - (Texts and Monographs in Computer Science).
The design of well-structured and correct programs. Second edition. - Springer Verlag, 1978. - (Texts and Monographs in Computer Science).
Programming methodology. A collection of articles by members of IFIP WG2.3. - Springer Verlag, 1978. - (Texts and Monographs in Computer Science).
Automata-theoretic aspects of formal power series. - Springer Verlag, 1978. - (Texts and Monographs in Computer Science).