Swart, H. C. M. de..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 /.Springer,,c2002..
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 /
