Algebraic Methodology and Software Technology : 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings - Hélène Kirchner, Christophe Ringeissen ((Lecture Notes in Computer Science))