Harrie C. M. de Swart: Relational Methods in Computer Science, 6th International Conference, RelMICS 2001, and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16-21, 2001, Revised Papers. Lecture Notes in Computer Science 2561, Springer 2002, ISBN 3-540-00315-0