Algebraic methodology and software technology 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 : revised selected papers / - Johnson, Michael,; Pavlović, Dusko. (Springer,, 2011)