Author: International Seminar on Relational Methods in Computer Science (11th 2009 Doha, Qatar)