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
International Seminar on Relational Methods in Computer Science
Bok Engelsk 2002