Meng S, Barbosa LS.? 2009.??A Coalgebraic Semantic Framework for Reasoning about Interaction Designs. UML Semantics and Applications. :249?279.