- Handbook of Theoretical Computer Science, Vol. A: Algorithms and Complexity
- Handbook of Theoretical Computer Science: Formal Models and Semantics
- Computer Science Today: Recent Trends and Developments (Lecture Notes in Computer Science)
- High-Level Parallel Programming Models and Supportive Environments: 6th International Workshop, HIPS 2001 San Francisco, CA, USA, April 23, 2001 Proceedings
- Enchiridium dictionis epicae