Algebraic Methodology and Software Technology 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings - Kirchner, Helene; Kirchner, Helene; Ringeissen, Christophe; Ringeissen, Christophe (Springer Berlin Heidelberg : Imprint: Springer, 2002)