Algebraic methodology and software technology : 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings. ISBN 3540441441. Published by Springer in 2002. Publication and catalogue information, links to buy online and reader comments.