Author: International Seminar on Relational Methods in Computer Science (9th 2006 Manchester, England)