Relational methods in computer science : 6th International Conference, RelMiCS 2001 and 1st Worksho of COST action 274 TARSKI, Oisterwijk, the Netherlands, October 16.-21., 2001 : revised papers - Swart, H. C. M. de 1944- (Lecture notes in computer science ;, 2002)