- High-Level Parallel Programming Models and Supportive Environments: 6th International Workshop, HIPS 2001 San Francisco, CA, USA, April 23, 2001 Proceedings
- Methods of Programming: Selected Papers on the CIP-Project (Lecture Notes in Computer Science)
- Algebraic structure theory of sequential machines
- Combinatorics on Traces (Lecture Notes in Computer Science)
- Feasible Computations and Provable Complexity Properties (CBMS-NSF Regional Conference Series in Applied Mathematics)