- 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)
- Directions in Databases: 12th British National Conference on Databases, Bncod 12, Guildford, United Kingdom, July 6-8, 1994. Proceedings