Author: International Conference on Algebraic Methodology and Software Technology (9th 2002 Saint-Gilles-les-Bains, Réunion)