Algebraic methodology and software technology 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings / - Kirchner, H.; Ringeissen, Christophe, (Lecture notes in computer science ;)