Algebraic Methodology and Software Technology: 13th International Conference, Amast 2010, Lac-Beaupo ALGEBRAIC METHODOLOGY & SOFTWA [ Michael Johnson ]