Meng S, Barbosa LS.? 2008.??A Coalgebraic Semantic Framework for Reasoning about {UML} Sequence Diagrams. Proceedings of the 8th International Conference on Quality Software - QSIC. :17-26.