Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002 | DealShopping Deutschland