Author: International Seminar on Relational Methods in Computer Science (7th 2003 Bad Malente, Germany)