Author: International Seminar on Relational Methods in Computer Science (10th 2008 Frauenworth, Germany)